From: Adam Chlipala Date: Sat, 9 Dec 2006 23:08:46 +0000 (+0000) Subject: Changing default slaves X-Git-Tag: release_2010-11-19~333 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/8b84db5b0c03c7c635a4d73060f444d2ef53c757?hp=8b84db5b0c03c7c635a4d73060f444d2ef53c757;ds=sidebyside Changing default slaves ---