 Leo
|
a534dc3551
Merge branch 'dev'
|
7 years ago |
|
Leo
|
e791990df3
Version 0.3.0-rc1
|
7 years ago |
|
Leo
|
6ad8120fd3
Clean-up indentation using fix-indent.ml script
|
7 years ago |
|
Leo
|
2be80fd086
Add disable status in state
|
7 years ago |
|
Leo
|
955feb0b41
Clean up status code
|
7 years ago |
|
Leo
|
9b349b9f64
Allow to disable auto-launch
|
7 years ago |
|
Leo
|
2fe6decbae
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
7 years ago |
|
Leo
|
59a6cb38fa
Add benchmark to chose between S-Expressions and JSON for rc file
|
8 years ago |
|
Leo
|
7c96c01982
Clean up Messages code
|
7 years ago |
|
Leo
|
d6207e9bce
Clean-up lock module
|
7 years ago |
|
Leo
|
79180547d8
Clean-up default file
|
7 years ago |
|
Leo
|
4e2432561c
Typo
|
7 years ago |
|
Leo
|
579bb0f7ac
Typo
|
7 years ago |
|
Leo
|
381e2675a6
Run fix-indent.ml script
|
7 years ago |
|
Leo
|
01249c2446
Check and fix indentation of fix-indent.ml script
|
7 years ago |
|
Leo
|
d066fe0c95
Stop using tree command in fix-indent script
|
7 years ago |
|
Leo
|
14efd32b88
Typo
|
7 years ago |
|
Leo
|
d8a68725ee
Clean up dev configuration file
|
7 years ago |
|
Leo
|
01b6a56f7b
Update TODO
|
7 years ago |
|
Leo
|
4859e426c0
Improve messages and clean command
|
7 years ago |
|
Leo
|
e542a016d1
Update TODO
|
7 years ago |
|
Leo
|
141b1011fa
Remove dubbled entries when adding entries
|
7 years ago |
|
Leo
|
488b0bc147
Change order of added entries
|
7 years ago |
|
Leo
|
0e5b0d4c34
Add entries when importing, instead of remplacing
|
7 years ago |
|
Leo
|
6d1588cc08
Improve spying expression
|
7 years ago |
|
Leo
|
d042fc9401
Code clean-up: fix some warning of the compiler
|
7 years ago |
|
Leo
|
c432345115
Choose color more adapted to both white and black background
|
7 years ago |
|
Leo
|
21b9d2400f
Stop using biniou format for tmp file
|
7 years ago |
|
Leo
|
07a635bc51
Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev
|
7 years ago |
|
Leo
|
c36a3807b6
Add benchmark to compare biniou format and bin_prot one
|
7 years ago |
