More un-hardcoding
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:37:00 +0000 (02:37 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:37:00 +0000 (02:37 +0000)
commitb7ef52bfe976f5ca21732c0e56219f9ce4a67e40
tree97243b4f79ae9761f51149acea6f297e6ecd2425
parentdc3b1a7f9c941c2a323e57861871090465fa31f7
More un-hardcoding
BUILDING
build
install
settings [new file with mode: 0644]
settings.sml [moved from src/settings.sml with 92% similarity]
src/.cvsignore
src/config.sml
src/sources.cm