diff options
Diffstat (limited to 'Master/bin/x86_64-linux/ps2frag')
| -rwxr-xr-x | Master/bin/x86_64-linux/ps2frag | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Master/bin/x86_64-linux/ps2frag b/Master/bin/x86_64-linux/ps2frag deleted file mode 100755 index b8e673be087..00000000000 --- a/Master/bin/x86_64-linux/ps2frag +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -tty -s && { - echo - echo "Warning: the ps2frag script is not needed with this version of psfrag." - echo "Please read the manpage ps2frag(1) and the documentation of the" - echo "psfrag package." - echo -} >&2 - -exit 0 |