Revert "* Bug #9789 fixed - Optimization: optim printing its termination status" 84/12684/1
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab