diff options
Diffstat (limited to 'tools/clean-diff')
-rwxr-xr-x | tools/clean-diff | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/clean-diff b/tools/clean-diff deleted file mode 100755 index 4600702b10..0000000000 --- a/tools/clean-diff +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -sed '/^+[^+]/!s/ /TaBBaT/g' |\ - expand -t $(seq -s , 9 8 200) |\ - sed 's/TaBBaT/ /g' |\ - sed '/^+[^+]/s/ * $//' |\ - tr -d '\015' |\ - tr '\n' '°' |\ - sed 's/\(@@[^@]*@@°[^@]*\)/\n\1/g' |\ - egrep -v '@@[^@]*@@°(( [^°]*°)|([+-][[:space:]]*°)|(-[[:space:]]*([^°]*)°\+[[:space:]]*\5°))*$' |\ - tr -d '\n' |\ - tr '°' '\n' |