- change default PLC_DB_NAME to planetlab4
[myplc.git] / plc.sysconfig
2006-07-17 Mark Huang- do not generate sysconfig files