Mercurial > hg > zsh-env
graph
-
change version of JDK10Mon, 03 Sep 2018 13:11:19 +0200, by Dirk Olmes
-
remove obsolete aliasFri, 06 Jul 2018 05:47:10 +0200, by Dirk Olmes
-
add more helper functionsThu, 05 Jul 2018 04:58:14 +0200, by Dirk Olmes