tree 2b7a234df89f8831478750e0d0dff49b6ee3b067
parent ae0a7e1a2c121c3c94bc84b5223f8ec217017099
author Luca Milanesio <luca.milanesio@gmail.com> 1671154884 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1671188779 +0000

Omit directories in pushd/popd

Change-Id: I08b261dae200a5f9ef36375e487a33ac459c88f6