diff options
Diffstat (limited to 'src/lib/krb4/ren-pl10.sh')
| -rw-r--r-- | src/lib/krb4/ren-pl10.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/lib/krb4/ren-pl10.sh b/src/lib/krb4/ren-pl10.sh deleted file mode 100644 index d72a72c50..000000000 --- a/src/lib/krb4/ren-pl10.sh +++ /dev/null @@ -1,7 +0,0 @@ -# Rename Kerberos V4 pl10 filenames to proposed names -# for converting old trees. -awk '/^@ / { - if ($2 != $4 && $2 != "-") - print "mv " $2 " " $4 - } - ' <ren.msg | grep -v '(gone)' | sh -x |