* Bug #7133 fixed - Helptools: fix help_from_sci demo 23/12823/5
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab