From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 21 Mar 2017 18:27:11 +0000 (+0100)
Subject: Merge branch 'master' of https://github.com/plomlompom/config
X-Git-Url: https://plomlompom.com/repos/?a=commitdiff_plain;h=70f6d0b5b32520a3d7070f81aaba6bfe82da964e;hp=1a025cf676cf98f81228543fc468e9b58fb34f0f;p=config

Merge branch 'master' of https://github.com/plomlompom/config
---

diff --git a/dotfiles/user/thinkpad/W530/Xresources-local b/dotfiles/user/thinkpad/W530/Xresources-local
index e44a769..c0418e5 100644
--- a/dotfiles/user/thinkpad/W530/Xresources-local
+++ b/dotfiles/user/thinkpad/W530/Xresources-local
@@ -1,5 +1,5 @@
 ! font size
-XTerm*faceSize: 10
+XTerm*faceSize: 8
 xterm*VT100*faceSize1: 7
 xterm*VT100*faceSize2: 8
 xterm*VT100*faceSize3: 9