From 2842e6cc1c7c3ed7caedf4160385f56ebeddc08d Mon Sep 17 00:00:00 2001
From: Kevin Dalley <kevin@seti.org>
Date: Mon, 21 Oct 1996 07:42:09 +0000
Subject: [PATCH] renamed from debian.postrm

---
 debian/postrm | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 debian/postrm

diff --git a/debian/postrm b/debian/postrm
new file mode 100755
index 00000000..702bd222
--- /dev/null
+++ b/debian/postrm
@@ -0,0 +1,5 @@
+#! /bin/sh
+
+set -e
+
+install-info --quiet --remove find