No more catch-all aliases, and default aliases go to a separate file
authorAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 19:05:43 +0000 (19:05 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 19:05:43 +0000 (19:05 +0000)

No differences found