[gnome-builder] trim some completed files

[Christian Hergert <chergert src gnome org>]

commit 8d2c796ff85254e3ea17da4692294942a449840c
Author: Christian Hergert <christian hergert me>
Date:   Thu Mar 19 15:28:17 2015 -0700

    trim some completed files

 src/gnome-builder.mk |   12 ------------
 1 files changed, 0 insertions(+), 12 deletions(-)
---
diff --git a/src/gnome-builder.mk b/src/gnome-builder.mk
index 21cf689..f4a4758 100644
--- a/src/gnome-builder.mk
+++ b/src/gnome-builder.mk
@@ -137,18 +137,6 @@ disabled_files = \
        src/devhelp/gb-devhelp-document.h \
        src/devhelp/gb-devhelp-view.c \
        src/devhelp/gb-devhelp-view.h \
-       src/documents/gb-document-grid.c \
-       src/documents/gb-document-grid.h \
-       src/documents/gb-document-private.h \
-       src/documents/gb-document-split.c \
-       src/documents/gb-document-split.h \
-       src/documents/gb-document-stack.c \
-       src/documents/gb-document-stack.h \
-       src/editor/gb-editor-frame-private.h \
-       src/editor/gb-editor-tweak-widget.c \
-       src/editor/gb-editor-tweak-widget.h \
-       src/editor/gb-editor-workspace.c \
-       src/editor/gb-editor-workspace.h \
        src/editor/gb-source-formatter.c \
        src/editor/gb-source-formatter.h \
        src/editor/gb-source-highlight-menu.c \