diff options
| author |  Rogério Brito <rbrito@ime.usp.br> | 2011-03-09 00:26:16 +0800 |
|---|---|---|
| committer |  Alex Bennee <alex@bennee.com> | 2011-03-09 04:17:00 +0800 |
| commit | 42a8a20603ba21a1db3d77a62cd75b8e4ec552f2 (patch) | |
| tree | 1a29cbdee94438ab72a411c0ee7d78568f8007cf /doc/users_guide_french/USERS-GUIDE-11_fr4.html | |
| parent | d81ae5a482050947169f10e89c4d45e982f6012f (diff) | |
Remove executable bits from files that are not scripts/executables.
Diffstat (limited to 'doc/users_guide_french/USERS-GUIDE-11_fr4.html')
| -rw-r--r--[-rwxr-xr-x] | doc/users_guide_french/USERS-GUIDE-11_fr4.html | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/users_guide_french/USERS-GUIDE-11_fr4.html b/doc/users_guide_french/USERS-GUIDE-11_fr4.html index 8b7298c..8b7298c 100755..100644 --- a/doc/users_guide_french/USERS-GUIDE-11_fr4.html +++ b/doc/users_guide_french/USERS-GUIDE-11_fr4.html |