Bug 11569 fixed: F5 to navigate in the dock was incompatible with SciNotes, so replac... 51/10551/2
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab