- 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
-
- 27 Sep, 2015 1 commit
-
-
justvitalius authored
-
- 11 Sep, 2015 1 commit
-
-
Kirill Pahnev authored
-
- 02 Sep, 2015 1 commit
-
-
bronzdoc authored
-
- 29 Nov, 2013 1 commit
-
-
Dhruva Sagar authored
-
