diff options
Diffstat (limited to 'tools/addgnupghome')
| -rwxr-xr-x | tools/addgnupghome | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/addgnupghome b/tools/addgnupghome index 37a427bf2..fb032b674 100755 --- a/tools/addgnupghome +++ b/tools/addgnupghome @@ -1,5 +1,5 @@ -# !/bin/sh -*- sh -*- -# Add a new .gnupg home directory for a list of users +#!/bin/sh +# Add a new .gnupg home directory for a list of users -*- sh -*- # # Copyright 2004 Free Software Foundation, Inc. # |