 Leo
|
9b349b9f64
Allow to disable auto-launch
|
il y a 8 ans |
|
Leo
|
2fe6decbae
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
il y a 8 ans |
|
Leo
|
59a6cb38fa
Add benchmark to chose between S-Expressions and JSON for rc file
|
il y a 9 ans |
|
Leo
|
7c96c01982
Clean up Messages code
|
il y a 8 ans |
|
Leo
|
d6207e9bce
Clean-up lock module
|
il y a 8 ans |
|
Leo
|
79180547d8
Clean-up default file
|
il y a 8 ans |
|
Leo
|
4e2432561c
Typo
|
il y a 8 ans |
|
Leo
|
579bb0f7ac
Typo
|
il y a 8 ans |
|
Leo
|
381e2675a6
Run fix-indent.ml script
|
il y a 8 ans |
|
Leo
|
01249c2446
Check and fix indentation of fix-indent.ml script
|
il y a 8 ans |
|
Leo
|
d066fe0c95
Stop using tree command in fix-indent script
|
il y a 8 ans |
|
Leo
|
14efd32b88
Typo
|
il y a 8 ans |
|
Leo
|
d8a68725ee
Clean up dev configuration file
|
il y a 8 ans |
|
Leo
|
01b6a56f7b
Update TODO
|
il y a 8 ans |
|
Leo
|
4859e426c0
Improve messages and clean command
|
il y a 8 ans |
|
Leo
|
e542a016d1
Update TODO
|
il y a 8 ans |
|
Leo
|
141b1011fa
Remove dubbled entries when adding entries
|
il y a 8 ans |
|
Leo
|
488b0bc147
Change order of added entries
|
il y a 8 ans |
|
Leo
|
0e5b0d4c34
Add entries when importing, instead of remplacing
|
il y a 8 ans |
|
Leo
|
6d1588cc08
Improve spying expression
|
il y a 8 ans |
|
Leo
|
d042fc9401
Code clean-up: fix some warning of the compiler
|
il y a 8 ans |
|
Leo
|
c432345115
Choose color more adapted to both white and black background
|
il y a 8 ans |
|
Leo
|
21b9d2400f
Stop using biniou format for tmp file
|
il y a 8 ans |
|
Leo
|
07a635bc51
Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev
|
il y a 8 ans |
|
Leo
|
c36a3807b6
Add benchmark to compare biniou format and bin_prot one
|
il y a 8 ans |
|
Leo
|
e1e823f9bb
Mark all dependencies as build ones, since we do not use it at runtime.
|
il y a 8 ans |
|
Leo
|
71299ecdda
Fix opam file
|
il y a 8 ans |
|
Leo
|
e5e42d305a
Fix ci
|
il y a 8 ans |
|
Leo
|
6b6149280a
Typo
|
il y a 8 ans |
|
Leo
|
772f381cd1
Update .gitlab-ci.yml
|
il y a 8 ans |
