diff options
Diffstat (limited to 'scilab-lib-doc.properties')
| -rw-r--r--[-rwxr-xr-x] | scilab-lib-doc.properties | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scilab-lib-doc.properties b/scilab-lib-doc.properties index cd540b133..cd540b133 100755..100644 --- a/scilab-lib-doc.properties +++ b/scilab-lib-doc.properties |