Mercurial > hg > zsh-env

changeset 139:d683d08cf8e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Automated merge with https://localhost/hg/zsh-env
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 04 Jul 2018 17:03:00 +0200
parents 8b961f7d78d9 (current diff) b44844181cf6 (diff)
children abc3d303adde
files
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/zshrc-xanthippe	Wed Jul 04 12:23:47 2018 +0200
+++ b/zshrc-xanthippe	Wed Jul 04 17:03:00 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