diff options
Diffstat (limited to 'scripts/leave')
| -rwxr-xr-x | scripts/leave | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/leave b/scripts/leave index e5473f6e8..e02fd86b8 100755 --- a/scripts/leave +++ b/scripts/leave @@ -1,4 +1,4 @@ -#! /usr/bin/env python +# -*- python -*- # # Copyright (C) 2001 by the Free Software Foundation, Inc. # |