Change pushd ops to use MyPLC rather than myplc, because we renamed the module.
[myplc.git] / LICENSE
2006-07-06 Mark HuangPlanetLab software license and copyright