From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 10 Dec 2006 17:54:53 +0000 (+0000)
Subject: Improve easy_domain
X-Git-Tag: release_2010-11-19~328
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/15e529d64183f2116fd7455c2bc495963fba68c6?hp=15e529d64183f2116fd7455c2bc495963fba68c6

Improve easy_domain
---