* Bug #7549 fixed - edit_curv did not disable standard plot menus.
[scilab.git] / .gitignore
1 /workspace/
2 .DS_Store
3 /.gitreview