chiark / gitweb /
cosmetics
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 10 Jan 2012 02:16:41 +0000 (02:16 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 10 Jan 2012 02:16:41 +0000 (02:16 +0000)
TODO [deleted file]
checkfiles

diff --git a/TODO b/TODO
deleted file mode 100644 (file)
index e69de29..0000000
index 6336fda..9c8f36a 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/sh
 # run from the prerm and postinst
-set -ex
+set -e
 
 script=$1
 mode=$2