there's no pushd/popd in my sh
authorWolfgang Bumiller <wry.git@bumiller.com>
Wed, 25 Sep 2013 09:14:59 +0000 (11:14 +0200)
committerWolfgang Bumiller <wry.git@bumiller.com>
Wed, 25 Sep 2013 09:14:59 +0000 (11:14 +0200)
commit87fcf8d8e8109e6bf439ea8fde3bd9ce628eb85e
treeda29badb448ed00d97b0c6cc7227d5c911cfb630
parentd2405a9ad82a153b11515df9555764c61fb8e597
there's no pushd/popd in my sh
misc/check-proj.sh