diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/exec_filename_fix.patch | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/patches/exec_filename_fix.patch b/debian/patches/exec_filename_fix.patch index dfe33786..110cbd29 100644 --- a/debian/patches/exec_filename_fix.patch +++ b/debian/patches/exec_filename_fix.patch @@ -1,3 +1,5 @@ +From: Justus Winter <4winter@informatik.uni-hamburg.de> + This patch is an amendment of exec_filename_exec.patch. If file_name_exec is not given, check_hashbang will try to locate the |