chiark / gitweb /
~ian / userv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Finalise 0.63.
[userv.git] / debian / prerm
1 #!/bin/sh
2 set -e
3 /etc/init.d/userv stop >/dev/null
Unnamed repository; edit this file 'description' to name the repository.