- 11 Feb, 2020 1 commit
-
-
Marc Cornellà authored
Fixes #5029 Fixes #5342
-
- 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
-
- 19 Jul, 2015 1 commit
-
-
Alex Talker authored
-
- 15 Feb, 2015 1 commit
-
-
Alex Talker authored
-
- 06 Nov, 2014 1 commit
-
-
Marc Cornellà authored
-
- 08 Mar, 2014 1 commit
-
-
Dan Kerimdzhanov authored
-
- 02 Dec, 2012 1 commit
-
-
Sean Jones authored
-