diff options
| author | Sylvestre Ledru <sylvestre@debian.org> | 2013-05-02 13:03:14 +0200 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-03 13:18:26 -0700 |
| commit | 155342908c2dd94e433bd043367efc9799296420 (patch) | |
| tree | 1845c6e0314a7773e88b69f04d96d616b41d8ad7 /tools/split.py | |
| parent | c4dddc5ff1cf5939caa5d78850d6e155df92faa6 (diff) | |
Remove executable permissions on simple files
Diffstat (limited to 'tools/split.py')
| -rw-r--r--[-rwxr-xr-x] | tools/split.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/split.py b/tools/split.py index f9e338aa..f9e338aa 100755..100644 --- a/tools/split.py +++ b/tools/split.py |