diff options
| author | mid-kid <esteve.varela@gmail.com> | 2018-04-01 17:03:11 +0200 |
|---|---|---|
| committer | mid-kid <esteve.varela@gmail.com> | 2018-04-01 17:05:10 +0200 |
| commit | 81fff9bb80af3db0ee381c824261b8963e1cc221 (patch) | |
| tree | 9313b7bf00c6b4492917fc2717a94d428d8c1d5c /tools/toc.py | |
| parent | 91a768b24343ffabbe5ab4084451d1e3ecbc306b (diff) | |
Fix file permissions
I have no idea why this was a thing (do people store this repo on FAT32
flash drives or something?), but quite a bit of files had a permission
of 755. This isn't really a problem, but it's inconsistent and weird.
Diffstat (limited to 'tools/toc.py')
| -rwxr-xr-x[-rw-r--r--] | tools/toc.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/toc.py b/tools/toc.py index 9bdc8cca6..9bdc8cca6 100644..100755 --- a/tools/toc.py +++ b/tools/toc.py |