 Leo
|
49ba4b1252
Add a small script to test Gitlab CI
|
il y a 9 ans |
|
Leo
|
b7f5c09139
Fixing Gitlab CI
|
il y a 9 ans |
|
Leo
|
f79d74421e
Improve Gitlab CI
|
il y a 9 ans |
|
Leo
|
e68283dfec
Correct .gitlab-ci.yml
|
il y a 9 ans |
|
Leo
|
6e9046665c
Add job with system compiler
|
il y a 9 ans |
|
Leo
|
bfc6a25bd6
Correct .gitlab-ci.yml mistakes
|
il y a 9 ans |
|
Leo
|
3d061ed1eb
Starting to use Gitlab CI
|
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
|
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 |
|
Leo
|
6b1adfb8eb
Add message on reset
|
il y a 9 ans |
|
Leo
|
060a5a978f
Typo in help message
|
il y a 9 ans |
|
Leo
|
04dc09d5ba
Make reset help message wore accurate
|
il y a 9 ans |
|
Leo
|
0161a96d23
Make signature ASCII armored
|
il y a 9 ans |
