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