log

age author description
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
Wed, 04 Jul 2018 17:04:39 +0200 Dirk Olmes add alias to ping a public IP
Wed, 04 Jul 2018 17:03:00 +0200 Dirk Olmes Automated merge with https://localhost/hg/zsh-env