Change pushd ops to use MyPLC rather than myplc, because we renamed the module.
[myplc.git] / plc_config.dtd
2006-04-12 Mark HuangDTD for configuration file