From 5c42ce3cb5edd7f97e7c360de22c3ce2dcbffadc Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Sat, 27 Jan 2018 02:24:15 +0100 Subject: release 2018.01.27 --- debian/prerm | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 debian/prerm (limited to 'debian/prerm') diff --git a/debian/prerm b/debian/prerm deleted file mode 100644 index 9c78000..0000000 --- a/debian/prerm +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -e - -case "$1" in - remove|purge) - if which apt-key >/dev/null; then - echo -n Removing keyid 0xCBBFF2FC3F8F5540 from APT keyring -" " && apt-key del CBBFF2FC3F8F5540 - fi - ;; -esac -- cgit v1.2.3