 Leo
|
01249c2446
Check and fix indentation of fix-indent.ml script
|
il y a 8 ans |
|
Leo
|
d066fe0c95
Stop using tree command in fix-indent script
|
il y a 8 ans |
|
Leo
|
29aa9857ea
Change my contact address
|
il y a 9 ans |
|
Leo
|
f8f1c801ae
Tidy up exit codes in fix-indent script
|
il y a 9 ans |
|
Leo
|
3daa647382
Change indentation settings
|
il y a 9 ans |
|
Leo
|
2cfe7b5991
Fix indentation of fix-indent.ml script
|
il y a 9 ans |
|
Leo
|
22248b316e
Fix issue of symlinks & ignored path in fix-indent.ml
|
il y a 9 ans |
|
Leo
|
c9bee871d3
Add script to fix indentation in the source code
|
il y a 9 ans |
