From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 26 Jul 2009 17:05:26 +0000 (+0000)
Subject: bpt's domtool-mode auto-mode suggestion
X-Git-Tag: release_2010-11-19~9
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b708154ac8ac17e9ffa32c75e7fd4e0d54435f4c?hp=b708154ac8ac17e9ffa32c75e7fd4e0d54435f4c;ds=inline

bpt's domtool-mode auto-mode suggestion
---