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