 Leo
|
52540135b9
Trying to improve README
|
9 anni fa |
|
Leo
|
4849b9e01d
Run oasis setup
|
9 anni fa |
|
Leo
|
3daa647382
Change indentation settings
|
9 anni fa |
|
Leo
|
2cfe7b5991
Fix indentation of fix-indent.ml script
|
9 anni fa |
|
Leo
|
22248b316e
Fix issue of symlinks & ignored path in fix-indent.ml
|
9 anni fa |
|
Leo
|
9f73818181
Clean up Messages.ml file
|
9 anni fa |
|
Leo
|
e4bb457e8f
Merge branch 'without-core_exted' into dev
|
9 anni fa |
|
Leo
|
1a61074d2c
Fix copyright date in _oasis
|
9 anni fa |
|
Leo
|
f1b6de1da7
Finish to implement color parsing
|
9 anni fa |
|
Leo
|
8c48493b04
Update CHANGELOG
|
9 anni fa |
|
Leo
|
4211da0f74
Fix length of lines in CHANGELOG
|
9 anni fa |
|
Leo
|
ca3c48cd0e
Update CHANGELOG
|
9 anni fa |
|
Leo
|
2d730795f6
Auto-indent source files
|
9 anni fa |
|
Leo
|
c9bee871d3
Add script to fix indentation in the source code
|
9 anni fa |
|
Leo
|
c81e1418b9
Beautified duration message displayed at the end
|
9 anni fa |
|
Leo
|
6b954c02bf
Update copyright date
|
9 anni fa |
|
Leo
|
6422f9a47a
Help url was sticked to an old version
|
9 anni fa |
|
Leo
|
290fd08630
Add link to license page of the website in the summary
|
9 anni fa |
|
Leo
|
a902ccf59e
.back files are useless
|
9 anni fa |
|
Leo
|
fb5f6e085a
Add debugging info in clean command
|
9 anni fa |
|
Leo
|
f16dcdc685
Rename clean file
|
9 anni fa |
|
Leo
|
dcc7b8e25f
Update CHANGELOG
|
9 anni fa |
|
Leo
|
fd183b2688
Add a clean up command, to clean rc file
|
9 anni fa |
|
Leo
|
a762a77e37
Refactore function to prettify rc file
|
9 anni fa |
|
Leo
|
76961eca55
Unified test id, removing spaces and using dots
|
9 anni fa |
|
Leo
|
24557676a3
Fix typo in test descriptions
|
9 anni fa |
|
Leo
|
1016aefa3b
Oasis is now running test fastly by default
|
9 anni fa |
|
Leo
|
e66303d378
Make daily test faster
|
9 anni fa |
|
Leo
|
980e5e7f7b
Doubled entries are removed before writing rc file
|
9 anni fa |
|
Leo
|
94df67be38
Add spying function to print list, debugging purpose
|
9 anni fa |
