Closed xjodoin closed 9 years ago
Cherry pick from the pull request #32
Probably no longer relevant since https://github.com/rs/pushd/pull/118 is merged and offers the same functionality
Can this be closed then?
Cherry pick from the pull request #32