Mercurial > hg > zsh-env
log
age | author | description |
---|---|---|
Mon, 17 Sep 2018 09:19:03 +0200 | Dirk Olmes | include sudo |
Mon, 03 Sep 2018 13:11:19 +0200 | Dirk Olmes | change version of JDK10 |
Fri, 06 Jul 2018 05:47:10 +0200 | Dirk Olmes | remove obsolete alias |
Thu, 05 Jul 2018 04:58:14 +0200 | Dirk Olmes | add more helper functions |