Bug fix #14531: Allows SCIHOME to be specified by user (at start-up) 90/19490/3
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab