 Leo
|
f8f1c801ae
Tidy up exit codes in fix-indent script
|
8 jaren geleden |
|
Leo
|
3daa647382
Change indentation settings
|
9 jaren geleden |
|
Leo
|
2cfe7b5991
Fix indentation of fix-indent.ml script
|
9 jaren geleden |
|
Leo
|
22248b316e
Fix issue of symlinks & ignored path in fix-indent.ml
|
9 jaren geleden |
|
Leo
|
c9bee871d3
Add script to fix indentation in the source code
|
9 jaren geleden |
