From a0e81d1ebfbf11bc056f729242e8565f177afa95 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 3 Dec 2006 18:15:22 +0000 Subject: 2006-12-03 Thomas Schwinge [bug #17120 --- ``GNU Mach debian dir''] * debian/README.Debian: Remove file. * debian/changelog: Likewise. * debian/control: Likewise. * debian/copyright: Likewise. * debian/postinst: Likewise. * debian/prerm: Likewise. * debian/rules: Likewise. --- debian/prerm | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 debian/prerm (limited to 'debian/prerm') diff --git a/debian/prerm b/debian/prerm deleted file mode 100644 index b033806..0000000 --- a/debian/prerm +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e - -install-info --quiet --remove /usr/share/info/mach.info -- cgit v1.2.3