chiark / gitweb /
~ian / userv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Portability and doc fixes, including my own portability patches and some suggestions...
[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.