More un-hardcoding
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:37:43 +0000 (02:37 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:37:43 +0000 (02:37 +0000)
commit996c941278e6882ca62765921b5a30122ed29703
tree8d3e9fa3567de91939147b0302f6804e0802659c
parentb7ef52bfe976f5ca21732c0e56219f9ce4a67e40
More un-hardcoding
BUILDING