From: Adam Chlipala Date: Sat, 15 Dec 2007 18:45:58 +0000 (+0000) Subject: Move catchAllAlias to Alias module X-Git-Tag: release_2010-11-19~88 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/421df4d714870f2aa1f54944c29884730973d098?hp=421df4d714870f2aa1f54944c29884730973d098 Move catchAllAlias to Alias module ---