Bug 13036 fixed: Bad help page associated to history browser 73/13073/1
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab