- change default PLC_DB_NAME to planetlab4
[myplc.git] / doc / .cvsignore
2006-07-18 Mark Huangadd section about myplc-devel