* Bug #13401 fixed - Closing Scilab during halt() did not quit the Scilab process. 32/14532/2
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab