src/FOLP/change

--- a/src/FOLP/change	Sat Apr 05 16:00:00 2003 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-#! /bin/sh
-#
-# Usage:
-#    expandshort FILE1 ... FILEn
-#
-#  leaves previous versions as XXX~~
-#
-for f in $*
-do
-echo Expanding shorthands in $f. \ Backup file is $f~~
-mv $f $f~~; sed -e '
-s/PFOL/FOLP/g
-s/PIFOL/IFOLP/g
-s/pfol/folp/g
-s/pifol/ifolp/g
-' $f~~ > $f
-done
-echo Finished.