* Bug #13185 fixed - When the "checked" option of an uimenu was set to "on" for
[scilab.git] / .gitignore
1 /workspace/
2 .DS_Store
3 /.gitreview