Misc. fixes
authorAdam Chlipala <adamc@hcoop.net>
Sat, 8 Oct 2005 17:38:52 +0000 (17:38 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 8 Oct 2005 17:38:52 +0000 (17:38 +0000)
commitb8051818e92c354f2e3ea48b25687ca18d12d068
tree2cfb57d5dd4d6b0fd9800d743835b898b2051bb4
parent711b47a19a972d90b91378473c853573099a794b
Misc. fixes
apps.mlt
money.mlt