 Leo
|
c421a206d7
Adapt the rest of the program to use the new rc format
|
vor 8 Jahren |
|
Leo
|
fce36ff34b
Further improve rc file methods
|
vor 8 Jahren |
|
Leo
|
2c507abf7d
Typo
|
vor 8 Jahren |
|
Leo
|
5898319635
Forgotten label
|
vor 8 Jahren |
|
Leo
|
eec8925637
Fix warning 29
|
vor 8 Jahren |
|
Leo
|
0091998b60
Normalise name of oclaunch pin for CI
|
vor 8 Jahren |
|
Leo
|
96826fbb99
Correct CI target
|
vor 8 Jahren |
|
Leo
|
f6ca80afae
Update CI jobs
|
vor 8 Jahren |
|
Leo
|
b90aaffea6
Merge branch 'improve_ci_with_docker' into newrc-format
|
vor 8 Jahren |
|
Leo
|
7fc5e0eb0c
Merge branch 'improve_ci_with_docker' into dev
|
vor 8 Jahren |
|
Leo
|
6fdb9656bd
Change tmp name to improve multi-user compatibility
|
vor 8 Jahren |
|
Leo
|
bb52e6dae0
Adapt tmp_file module to new rc
|
vor 8 Jahren |
|
Leo
|
9fe01055cf
Add function to create entry object
|
vor 8 Jahren |
|
Leo
|
a1b855a411
Improved rc file methods
|
vor 8 Jahren |
|
Leo
|
45d0825643
Remove Core_extended from merlin file
|
vor 8 Jahren |
|
Leo
|
8ab3beab0e
Improve written rc file
|
vor 8 Jahren |
|
Leo
|
f08aa2e4c7
Fix warning
|
vor 8 Jahren |
|
Leo
|
374cab37b5
Implement write method
|
vor 8 Jahren |
|
Leo
|
e87728d9d1
Start to rewrite rc file format
|
vor 8 Jahren |
|
Leo
|
132d8d60a3
Clean up test
|
vor 8 Jahren |
|
Leo
|
b4ef608636
Cosmetic improvements of _oasis
|
vor 8 Jahren |
|
Leo
|
a68da8ea47
Prepare build system to use sexp ppx
|
vor 8 Jahren |
|
Leo
|
1c2347758c
Replace lnch.ml by s.oclaunch.eu.org
|
vor 8 Jahren |
|
Leo
|
7aefbadd04
Correct documentation
|
vor 8 Jahren |
|
Leo
|
d0d7727d25
Update documentation
|
vor 8 Jahren |
|
Leo
|
7ed7985240
Fix indent
|
vor 8 Jahren |
|
Leo
|
4c59c35e7d
Add shorthand
|
vor 8 Jahren |
|
Leo
|
da65332d47
Add ability to parse id sequences to subcommands
|
vor 8 Jahren |
|
Leo
|
76303200d1
Whitespace error
|
vor 8 Jahren |
|
Leo
|
e395020d21
Add simple correction of id sequences
|
vor 8 Jahren |
