diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-19 01:53:22 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-19 01:53:43 +0100 |
| commit | 314d3023d8cbfcd164fcd7a08827e2dc63feed22 (patch) | |
| tree | d59cc3ce2357ae385a40dc5b21dc154b16cb9ca4 /debian/patches | |
| parent | 2f0be4af2069f2628c767c747ed7299d94addce9 (diff) | |
Add origin of patch
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 |