diff options
Diffstat (limited to 'contrib/groff/font/devps/psstrip.sed')
| -rw-r--r-- | contrib/groff/font/devps/psstrip.sed | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/contrib/groff/font/devps/psstrip.sed b/contrib/groff/font/devps/psstrip.sed deleted file mode 100644 index 3e61775af778..000000000000 --- a/contrib/groff/font/devps/psstrip.sed +++ /dev/null @@ -1,7 +0,0 @@ -/^%[%!]/b -s/%.*// -s/^[ ][ ]*// -s/[ ][ ]*$// -/^$/d -s|[ ]*\([][}{/]\)|\1|g -s|\([][}{/]\)[ ]*|\1|g |