diff options
| author | Marijn van der Werf <marijn.vanderwerf@gmail.com> | 2017-06-27 16:11:15 +0200 |
|---|---|---|
| committer | Marijn van der Werf <marijn.vanderwerf@gmail.com> | 2017-06-27 16:11:15 +0200 |
| commit | 7d2166b97f554285cedf958073eefb0276da727f (patch) | |
| tree | 1a70c731f696f8aec5c95437e7b7f9fa272d1100 /graphics/interface/ball/timer.pal | |
| parent | 06b6cada0ddedc62063171703ba6607019751a9a (diff) | |
Make files non-executable
Diffstat (limited to 'graphics/interface/ball/timer.pal')
| -rw-r--r--[-rwxr-xr-x] | graphics/interface/ball/timer.pal | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/graphics/interface/ball/timer.pal b/graphics/interface/ball/timer.pal index e0c23569e..e0c23569e 100755..100644 --- a/graphics/interface/ball/timer.pal +++ b/graphics/interface/ball/timer.pal |