* Bug #10415 fixed - Remove a session line in history causes the removal 15/10615/4
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab