log zshrc-xanthippe @ 141:fe986adeadeb

age author description
Wed, 04 Jul 2018 17:04:39 +0200 Dirk Olmes add alias to ping a public IP