From 31ec196d1ef353fd8889de11d3eac6b3cca21db8 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 21 Mar 2017 19:26:54 +0100
Subject: [PATCH] W530: Change default xterm font size.

---
 dotfiles/user/thinkpad/W530/Xresources-local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2