From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Jul 2008 14:55:19 +0000 (+0000)
Subject: '-fake' flag added to 'domtool'
X-Git-Tag: release_2010-11-19~26
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/04502362ef40024052b18473028f8b53919ead15?hp=04502362ef40024052b18473028f8b53919ead15

'-fake' flag added to 'domtool'
---