[gnome-builder/wip/chergert/layout] devhelp: remove workbench addin

[Christian Hergert <chergert src gnome org>]

commit f4febc6d6f5c732e25bd346242ffa58a4d0b5e3f
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jul 12 17:40:50 2017 -0700

    devhelp: remove workbench addin
    
    We shouldn't need this anymore now that docs can be browsed
    from the layout stack. We still need something better than the
    empty page at startup, but that will have to come later.

 plugins/devhelp/gbp-devhelp-workbench-addin.c |  133 -------------------------
 plugins/devhelp/gbp-devhelp-workbench-addin.h |   32 ------
 plugins/devhelp/meson.build                   |    2 -
 3 files changed, 0 insertions(+), 167 deletions(-)
---
diff --git a/plugins/devhelp/meson.build b/plugins/devhelp/meson.build
index d39fb44..5f8b63e 100644
--- a/plugins/devhelp/meson.build
+++ b/plugins/devhelp/meson.build
@@ -22,8 +22,6 @@ devhelp_sources = [
   'gbp-devhelp-search-private.h',
   'gbp-devhelp-view.c',
   'gbp-devhelp-view.h',
-  'gbp-devhelp-workbench-addin.c',
-  'gbp-devhelp-workbench-addin.h',
   devhelp_resources[0],
 ]