From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 1 Jul 2007 21:50:20 +0000 (+0000)
Subject: Change ~/domtool to ~/.domtool
X-Git-Tag: release_2010-11-19~184
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/e7905534fc80fd5eeee68f33cbdc15572c858b05?hp=e7905534fc80fd5eeee68f33cbdc15572c858b05

Change ~/domtool to ~/.domtool
---