leowzukw/oclaunch

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

Autor	SHA1 Mensagem	Data
Leo	f8f1c801ae Tidy up exit codes in fix-indent script	8 anos atrás
Leo	3daa647382 Change indentation settings	9 anos atrás
Leo	2cfe7b5991 Fix indentation of fix-indent.ml script	9 anos atrás
Leo	22248b316e Fix issue of symlinks & ignored path in fix-indent.ml	9 anos atrás
Leo	c9bee871d3 Add script to fix indentation in the source code	9 anos atrás