chiark / gitweb /
~ian / userv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
@@ -1,6 +1,8 @@
[userv.git] / debian / postrm
1 #!/bin/sh
2 set -e
3 if test "$1" = purge
4 then
5         update-rc.d userv remove >/dev/null
6 fi
Unnamed repository; edit this file 'description' to name the repository.