diff options
| -rwxr-xr-x | debian/zsh4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/zsh4 b/debian/zsh4 index 5b0e0766b..53065cfca 100755 --- a/debian/zsh4 +++ b/debian/zsh4 @@ -1,4 +1,4 @@ -#!/bin/zsh -f +#!/bin/zsh5 -f # This wrapper's sole purpose is to ease the migration of zsh's binary # location from /bin/zsh4 to /bin/zsh5 between Debian Wheezy and Jessie. |