diff options
| author | Aaron M. Ucko <ucko@debian.org> | 2015-12-09 23:51:34 -0500 |
|---|---|---|
| committer | Aaron M. Ucko <ucko@debian.org> | 2015-12-09 23:52:18 -0500 |
| commit | eab9e915645aa1a2a86e871a56cceb7308f51d49 (patch) | |
| tree | 0768a5c7c951b26af9e565b5192dc220ddf3dfd1 /debian/makemenu | |
| parent | ae21f9e59acce85d925656ac4a86f0303b171d84 (diff) | |
debian/rules clean: chmod -x private scripts, for compatibility with dgit.
Diffstat (limited to 'debian/makemenu')
| -rw-r--r--[-rwxr-xr-x] | debian/makemenu | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/debian/makemenu b/debian/makemenu index 8f8de0b6..8f8de0b6 100755..100644 --- a/debian/makemenu +++ b/debian/makemenu |