 Leo
|
94c2913be9
Trying to generalise tests
|
il y a 9 ans |
|
Leo
|
b620d39c4e
Make --el argument of list command working
|
il y a 9 ans |
|
Leo
|
e722764d3b
Merge from a local clone into dev
|
il y a 9 ans |
|
Leo
|
5fc8bce1d0
Add --el argument to list command
|
il y a 9 ans |
|
Leo
|
c759b62809
Improve welcome message
|
il y a 9 ans |
|
Leo
|
ac8350966d
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
il y a 9 ans |
|
Leo
|
9af3944dc1
Merge branch 'dev' of ../oclaunch-code/. into dev
|
il y a 9 ans |
|
Leo
|
ffe930c4bf
Clean-up licensing code (language question)
|
il y a 9 ans |
|
Leo
|
1d34313526
Update licencing file
|
il y a 9 ans |
|
Leo
|
cdc51c550a
Clean-up code of the question message
|
il y a 9 ans |
|
Leo
|
dff2e408d3
Display debugging information before every messages
|
il y a 9 ans |
|
Leo
|
5ed541fee1
Remove flag in _oasis configuration
|
il y a 9 ans |
|
Leo
|
f8f1c801ae
Tidy up exit codes in fix-indent script
|
il y a 9 ans |
|
Leo
|
0ed5b11685
Code clean-up
|
il y a 9 ans |
|
Leo
|
3aad828057
State we need a recent enough version of Core
|
il y a 9 ans |
|
Leo
|
508e38116f
Add copyright notice for Core_kernel copied files
|
il y a 9 ans |
|
Leo
|
cebb133cf9
Fix typo
|
il y a 9 ans |
|
Leo
|
baae2c92c2
Fix parallel issue in 0install.sh script
|
il y a 9 ans |
|
Leo
|
f77177e154
Fix typo in .gitignore
|
il y a 9 ans |
|
Leo
|
8affb581d0
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
d35e1b28e7
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
6ece1db8b1
Fix behavior of test script, using env variable
|
il y a 9 ans |
|
Leo
|
3cc1374d4a
Make env variable OC_NOCOLOR working
|
il y a 9 ans |
|
Leo
|
bd807a4dc6
Correct typo
|
il y a 9 ans |
|
Leo
|
2264d38316
Set color on by default
|
il y a 9 ans |
|
Leo
|
4b57a5b756
Improve indentation using fix-indent.ml script
|
il y a 9 ans |
|
Leo
|
689588fc13
Allow to set some command line parameters with environment variable
|
il y a 9 ans |
|
Leo
|
d49901c7ba
Further use laziness in constants
|
il y a 9 ans |
|
Leo
|
ad2ee0e55a
Update environment test to new command line interface
|
il y a 9 ans |
|
Leo
|
21dc49b774
Display nothing in white, normal style
|
il y a 9 ans |
