* Bug #7549 fixed - edit_curv did not disable standard plot menus. 12/14512/3
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab