*Bug #13331 fixed - Users are no longer able to write inconsistent options
[scilab.git] / .gitignore
1 /workspace/
2 .DS_Store
3 /.gitreview