From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Dec 2006 00:31:21 +0000 (+0000)
Subject: Change domtool-publish to leave files alone if they don't have the right extension
X-Git-Tag: release_2010-11-19~295
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/9bdfa6e37cafe6249c5740859b794dd98ca07d86?hp=9bdfa6e37cafe6249c5740859b794dd98ca07d86

Change domtool-publish to leave files alone if they don't have the right extension
---