bug #13983: who_user returns wrong values
[scilab.git] / .gitignore
1 /workspace*/
2 .DS_Store
3 /.gitreview