HCoop / bpt / mlt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da78636) | patch
Un-hard code some things
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:27:21 +0000 (02:27 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 02:27:21 +0000 (02:27 +0000)
commitdc3b1a7f9c941c2a323e57861871090465fa31f7
tree93663501b1b7921b1568647c0a9b980cd11d8fc3tree | snapshot (tar.gz zip)
parentda7863614d8ebf685ee9fbb2cf0f84b6098c017bcommit | diff
Un-hard code some things
BUILDING diff | blob | blame | history
build diff | blob | blame | history
install diff | blob | blame | history
src/compiler.sml diff | blob | blame | history
src/config.sml diff | blob | blame | history
src/main.sml diff | blob | blame | history
src/settings.sml [new file with mode: 0644] blob
src/sources.cm diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.