Change pushd ops to use MyPLC rather than myplc, because we renamed the module.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 9 Oct 2007 17:40:11 +0000 (17:40 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 9 Oct 2007 17:40:11 +0000 (17:40 +0000)
commit42ce2234b1bd081e99de433ebaf44490ac5627f6
tree56aa4a61c904be6113f1508ea962d29d74b4e7e7
parent30ae8f78197040576bcaf5a53de8ab0cd3af9478
Change pushd ops to use MyPLC rather than myplc, because we renamed the module.
myplc.spec