Auto-generate settings.sml
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:18:16 +0000 (03:18 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:18:16 +0000 (03:18 +0000)
commitccac2ca2765aba027fde895c700289eb848bb6d1
tree1c5d79a7a18bbf82f184cc52162f8e180d653d1c
parent63d2fa7c7b5ea258065db81e0b18b8d39ae3b5fa
Auto-generate settings.sml
BUILDING
settings.sml [deleted file]