[gnome-builder] devhelp: remove workbench addin

[Christian Hergert <chergert src gnome org>]

commit 161a5a059b617e6e3dacd10f1d97f303949a6497
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 f2705c1..ba93f97 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],
 ]