Bug 12900 fixed: It was not possible to set proxy options in Preferences 99/13899/5
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab