Move catchAllAlias to Alias module
authorAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 18:45:58 +0000 (18:45 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 18:45:58 +0000 (18:45 +0000)

No differences found