in the code coverage generation, the option --config-file is gone. Use an other way... 86/12586/1
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab