*Bug #13331 fixed - Users are no longer able to write inconsistent options 31/14431/16
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab