autogenerate config.sml if it does not exist
authormegacz <megacz>
Fri, 4 May 2007 01:32:25 +0000 (01:32 +0000)
committermegacz <megacz>
Fri, 4 May 2007 01:32:25 +0000 (01:32 +0000)
commit5c9ea1a602715cbde9eb9b5f8be6b20b142fb5f7
tree43eb24c8530bdea4de974e7ba879ef4543eaa16e
parent0a742954148bf073398ffbedcce2887871f875fb
autogenerate config.sml if it does not exist
Makefile