init.d script for domtool-slave
[hcoop/domtool2.git] / scripts / domtool-admin-sudo
2007-02-12 Adam Chlipala/etc/init.d script for domtool-server