# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1530716569 -7200
# Node ID b44844181cf60bf5e835abfb950777e0bffd389b
# Parent  129d5bcd981420964c77a02363927b5640bf155e
xanthippe features IPv6 now

diff -r 129d5bcd9814 -r b44844181cf6 zshrc-xanthippe
--- a/zshrc-xanthippe	Fri Feb 16 08:48:05 2018 +0100
+++ b/zshrc-xanthippe	Wed Jul 04 17:02:49 2018 +0200
@@ -6,6 +6,7 @@
 . ${HOME}/.zsh-env/zshrc-maven
 . ${HOME}/.zsh-env/zshrc-bindkey
 . ${HOME}/.zsh-env/zshrc-docker
+. ${HOME}/.zsh-env/zshrc-ipv6
 
 GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info"
 if [ -f "${GPG_AGENT_FILE}" ]; then