diff options
author | Mark Oteiza <mvoteiza@udel.edu> | 2014-07-17 18:07:57 -0400 |
---|---|---|
committer | Torsten Hilbrich <torsten.hilbrich@gmx.net> | 2014-07-18 05:29:24 +0200 |
commit | a5619fb275520d699eaae214e41ebcfde23c17f3 (patch) | |
tree | e78c4527c52fec0c4691ec3788e03c85f3bf4362 /deb/remove.debian | |
parent | 8135b0ea05b82f7f5d5f51b7fce751b79dd10289 (diff) |
remove executable permissions
Diffstat (limited to 'deb/remove.debian')
-rw-r--r--[-rwxr-xr-x] | deb/remove.debian | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/deb/remove.debian b/deb/remove.debian index 991d208..991d208 100755..100644 --- a/deb/remove.debian +++ b/deb/remove.debian |