* Bug 12837 fixed: strcmpi() actual removal 97/20597/5
[scilab.git] / scilab / modules / helptools / sci_gateway /
drwxr-xr-x ..
drwxr-xr-x cpp
-rw-r--r-- helptools_gateway.xml
drwxr-xr-x nogui