* Bug #10415 fixed - Remove a session line in history causes the removal
[scilab.git] / .gitignore
1 workspace/
2 .DS_Store