- 07 Oct, 2018 1 commit
-
-
Marc Cornellà authored
These themes used an adhoc substitution of $HOME for tilde in $PWD, but it's better to use '%~' and is less error prone. See #7160
-
- 07 May, 2010 1 commit
-
-
dstufft authored
-
These themes used an adhoc substitution of $HOME for tilde in $PWD, but it's better to use '%~' and is less error prone. See #7160