cc451c9 Remove pushd/popd (#664699, #664701)

Authored and Committed by mcepl 13 years ago
    Remove pushd/popd (#664699, #664701)
    
        
file modified
+17 -14
file modified
+3 -2