From 197f4cbaa47e5e8b9b1fb578b10046914eb6486e Mon Sep 17 00:00:00 2001
From: wolfbeast <mcwerewolf@wolfbeast.com>
Date: Sat, 13 Jul 2019 02:41:46 +0200
Subject: Remove WebIDE devtools component.

This resolves #1123
---
 devtools/client/projecteditor/lib/plugins/moz.build | 1 -
 1 file changed, 1 deletion(-)

(limited to 'devtools/client/projecteditor/lib/plugins/moz.build')

diff --git a/devtools/client/projecteditor/lib/plugins/moz.build b/devtools/client/projecteditor/lib/plugins/moz.build
index 17bff7ce0..99d864e13 100644
--- a/devtools/client/projecteditor/lib/plugins/moz.build
+++ b/devtools/client/projecteditor/lib/plugins/moz.build
@@ -5,7 +5,6 @@
 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 DIRS += [
-    'app-manager',
     'delete',
     'dirty',
     'image-view',
-- 
cgit v1.2.3