From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 17 Nov 2007 16:10:48 +0000 (+0000)
Subject: Switch to one Domtool principal
X-Git-Tag: release_2010-11-19~143
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/721ff8ccc6a84ecb2285c997b0fd07c8b972d9de?hp=721ff8ccc6a84ecb2285c997b0fd07c8b972d9de

Switch to one Domtool principal
---