 Leo
|
6fc0dc112c
Improve opam file
|
8 rokov pred |
|
Leo
|
d91fa8dc5a
Merge branch 'newrc-format' into dev
|
8 rokov pred |
|
Leo
|
74d1e6b470
Merge branch 'newrc-format' of gitlab.com:WzukW/oclaunch into newrc-format
|
8 rokov pred |
|
Leo
|
620f03eb4f
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
b90aaffea6
Merge branch 'improve_ci_with_docker' into newrc-format
|
8 rokov pred |
|
Leo
|
7fc5e0eb0c
Merge branch 'improve_ci_with_docker' into dev
|
8 rokov pred |
|
Leo
|
6fdb9656bd
Change tmp name to improve multi-user compatibility
|
8 rokov pred |
|
Leo
|
a68da8ea47
Prepare build system to use sexp ppx
|
8 rokov pred |
|
Leo
|
1c2347758c
Replace lnch.ml by s.oclaunch.eu.org
|
8 rokov pred |
|
Leo
|
da65332d47
Add ability to parse id sequences to subcommands
|
8 rokov pred |
|
Leo
|
d1b9786d18
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
f0bc2bda0c
Engage users to report bugs
|
8 rokov pred |
|
Leo
|
6ed939ea36
Allow run subcommand to take multiple ids
|
8 rokov pred |
|
Leo
|
dc54417e23
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
1ddf959c65
Improve help subcommand
|
8 rokov pred |
|
Leo
|
064d301001
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
04fd62693e
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
4b934a9923
Change --elength argument of list command
|
8 rokov pred |
|
Leo
|
623e958b14
Merge branch 'glci' into dev
|
8 rokov pred |
|
Leo
|
7dd56f576b
Typo
|
8 rokov pred |
|
Leo
|
9ef8ffd369
Update CHANGELOG
|
8 rokov pred |
|
Leo
|
5fc8bce1d0
Add --el argument to list command
|
8 rokov pred |
|
Leo
|
dff2e408d3
Display debugging information before every messages
|
8 rokov pred |
|
Leo
|
8affb581d0
Update CHANGELOG
|
9 rokov pred |
|
Leo
|
d35e1b28e7
Update CHANGELOG
|
9 rokov pred |
|
Leo
|
9d9e652564
Update CHANGELOG
|
9 rokov pred |
|
Leo
|
aaa0b0cbc9
Highlight in CHANGELOG
|
9 rokov pred |
|
Leo
|
bd5b868ad5
Add dots for consistency in CHANGELOG
|
9 rokov pred |
|
Leo
|
156a12a24b
Correct indent in CHANGELOG
|
9 rokov pred |
|
Leo
|
070473917c
Add related issues in CHANGELOG
|
9 rokov pred |
