From 12ffad520dd006d3f408965742c06e28ecafd1a9 Mon Sep 17 00:00:00 2001
From: Malte Brandy <malte.brandy@maralorn.de>
Date: Wed, 14 Feb 2018 10:21:26 +0100
Subject: [PATCH] home/graphical: Remove useless gnome_terminal pkg

---
 home/snippets/graphical.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/home/snippets/graphical.nix b/home/snippets/graphical.nix
index ca3e6193..ce323b04 100644
--- a/home/snippets/graphical.nix
+++ b/home/snippets/graphical.nix
@@ -43,6 +43,5 @@ in {
     python27Packages.syncthing-gtk
     rxvt_unicode
     tasktree
-    gnome3.gnome_terminal
   ];
 }