diff options
Diffstat (limited to 'platform/debian/mupdf.prerm')
| -rwxr-xr-x | platform/debian/mupdf.prerm | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/platform/debian/mupdf.prerm b/platform/debian/mupdf.prerm deleted file mode 100755 index 6e2bc71d..00000000 --- a/platform/debian/mupdf.prerm +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -set -e - -if [ "$1" = "remove" ] ; then - update-alternatives --remove mupdf /usr/bin/mupdf-x11 -fi - -exit 0 |