From 4835e78ec675756a453da1795eac59be88097035 Mon Sep 17 00:00:00 2001
From: Thomas Ruoff <ThomasRuoff@gmail.com>
Date: Wed, 25 Apr 2012 23:09:51 +0200
Subject: [PATCH] Ubuntu also has nice fonts

---
 vimrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vimrc b/vimrc
index 4f45c29..39dd3bf 100644
--- a/vimrc
+++ b/vimrc
@@ -196,7 +196,7 @@ if has("gui_running")
     if has("mac")
         set guifont=DejaVu\ Sans\ Mono\:h14
     else
-        set guifont=Ubuntu\ Mono\ 11
+        set guifont=DejaVu\ Sans\ Mono\ 9
     endif
 endif