[gnome-builder] terminal: Don't hide from preferences

[Patrick Griffis <pgriffis src gnome org>]

commit 2b411624294f2c49c9575d6213abae403c813d8a
Author: Patrick Griffis <tingping tingping se>
Date:   Sat Nov 12 03:09:00 2016 -0500

    terminal: Don't hide from preferences

 plugins/terminal/terminal.plugin |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/terminal.plugin b/plugins/terminal/terminal.plugin
index c735216..118e4a4 100644
--- a/plugins/terminal/terminal.plugin
+++ b/plugins/terminal/terminal.plugin
@@ -6,4 +6,3 @@ Authors=Christian Hergert <christian hergert me>
 Copyright=Copyright © 2015 Christian Hergert
 Depends=editor
 Builtin=true
-Hidden=true