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

diff --git a/dotfiles/user/thinkpad/W530/Xresources-local b/dotfiles/user/thinkpad/W530/Xresources-local
index e44a769c8ba19ea0bc0c7770251e1205c891f3b7..c0418e57d357033a8a7c239765e7bb9200fa54ee 100644 (file)
--- 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