Bug 11841 fixed: There was no way to search a word in the console. It is now possible... 43/8943/7
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab