zsh-env: revision graph

include sudo
Mon, 17 Sep 2018 09:19:03 +0200, by Dirk Olmes
change version of JDK10
Mon, 03 Sep 2018 13:11:19 +0200, by Dirk Olmes
remove obsolete alias
Fri, 06 Jul 2018 05:47:10 +0200, by Dirk Olmes
add more helper functions
Thu, 05 Jul 2018 04:58:14 +0200, by Dirk Olmes
add alias to ping a public IP
Wed, 04 Jul 2018 17:04:39 +0200, by Dirk Olmes
Automated merge with https://localhost/hg/zsh-env
Wed, 04 Jul 2018 17:03:00 +0200, by Dirk Olmes
xanthippe features IPv6 now
Wed, 04 Jul 2018 17:02:49 +0200, by Dirk Olmes

Mercurial > hg > zsh-env