diff options
| author |  Rogério Brito <rbrito@ime.usp.br> | 2011-03-08 13:26:16 -0300 |
|---|---|---|
| committer | Rogério Brito <rbrito@ime.usp.br> | 2011-03-08 13:26:16 -0300 |
| commit | 1350f8c0181c444878c73f89167e385e70629dd1 (patch) | |
| tree | 47f4505d5c0ef1e8db6f9c35c161fe4df1b351a1 /doc/users_guide_french/images/sousmenu_fic1.png | |
| parent | a1f6f1f55c73959cad85d0fc23d5a00ad3326463 (diff) | |
Remove executable bits from files that are not scripts/executables.
Diffstat (limited to 'doc/users_guide_french/images/sousmenu_fic1.png')
| -rw-r--r--[-rwxr-xr-x] | doc/users_guide_french/images/sousmenu_fic1.png | bin | 15212 -> 15212 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/users_guide_french/images/sousmenu_fic1.png b/doc/users_guide_french/images/sousmenu_fic1.png Binary files differindex b8cdb97..b8cdb97 100755..100644 --- a/doc/users_guide_french/images/sousmenu_fic1.png +++ b/doc/users_guide_french/images/sousmenu_fic1.png |
