7e232bd Use pushd/popd for directory changes.

Authored and Committed by codonell 7 years ago
1 file changed. 20 lines added. 20 lines removed.
    Use pushd/popd for directory changes.
    
        
file modified
+20 -20