# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1579181306 -3600
# Node ID a0dd1720c796e3d52db614a0d3a396929823cdc8
# Parent  b189f337e5e951847a0a3345301b046961ad49d3
config/.gitconfig: tomas@functionals.cz

diff -r b189f337e5e9 -r a0dd1720c796 config/.gitconfig
--- a/config/.gitconfig	Thu Sep 19 10:56:27 2019 +0200
+++ b/config/.gitconfig	Thu Jan 16 14:28:26 2020 +0100
@@ -1,5 +1,5 @@
 [user]
-	email = tzeman@volny.cz
+	email = tomas@functionals.cz
 	name = Tomas Zeman
 [core]
 	excludesfile = /home/tzeman/.gitignore_global