Commit 7441bb4b85a75869aa7604c0315f4c9f743b04c6 Parent 6b53a312cc5ec7caee8aec46c501666783dd198b Author John MacFarlane <jgm@berkeley.edu> Date Sat, 25 Apr 2015 16:41:30 -0700 appveyor - removed pushd/popd