* Bug 8378 fixed: `Datatip Menu => Delete last datatip` was useless. 45/21445/4
-rw-r--r-- .gitignore
lrwxrwxrwx README.md -> scilab/README.md
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab