diff options
Diffstat (limited to 'devtools/client/moz.build')
| -rw-r--r-- | devtools/client/moz.build | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devtools/client/moz.build b/devtools/client/moz.build index b55aa5380..9699ec726 100644 --- a/devtools/client/moz.build +++ b/devtools/client/moz.build @@ -34,7 +34,6 @@ DIRS += [ 'themes', 'webaudioeditor', 'webconsole', - 'webide', ] # Shim old theme paths used by DevTools add-ons |