* Bug #13185 fixed - When the "checked" option of an uimenu was set to "on" for
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab