* Bug #12580 fixed - Demo gui displays an arrow if a menu will pop. 19/14519/12
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab