Add a "workspace" directory to the .gitignore file. This will prevent the commit... 05/1705/3
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x atoms_cc
drwxr-xr-x scilab
drwxr-xr-x scilab_doc
drwxr-xr-x tests