Leo/oclaunch

miroir de https://gitlab.com/WzukW/oclaunch.git

Auteur	SHA1 Message	Date
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