Automatically generate settings.sml
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:16:22 +0000 (03:16 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:16:22 +0000 (03:16 +0000)
commite450a3e298d4ef550d126efff532dbf873077d6f
tree3a57e9d6053bfc24f0b98c3d515b39403ce25c7b
parent0b312c7cb0e324f4f1b159fc8673dd2c9306b2fd
Automatically generate settings.sml
build
settings