 Leo
|
74d1e6b470
Merge branch 'newrc-format' of gitlab.com:WzukW/oclaunch into newrc-format
|
vor 8 Jahren |
|
Leo
|
1610cb913d
Display help message in case of error reading rc file
|
vor 8 Jahren |
|
Leo
|
90b0e5e843
Improve reading of rc file
|
vor 8 Jahren |
|
Leo
|
0db7d0001a
New development rc file
|
vor 8 Jahren |
|
Leo
|
de02aee7b1
Typo
|
vor 8 Jahren |
|
Leo
|
c23dde4786
Update rc file extension
|
vor 8 Jahren |
|
Leo
|
620f03eb4f
Update CHANGELOG
|
vor 8 Jahren |
|
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
|
5898319635
Forgotten label
|
vor 8 Jahren |
|
Leo
|
eec8925637
Fix warning 29
|
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
|
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
|
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 |
