diff options
author | New Tobin Paradigm <email@mattatobin.com> | 2019-07-14 09:12:34 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-14 09:12:34 -0400 |
commit | 91a27750b3fccaba162ec988d189a57d947776e4 (patch) | |
tree | bda6d2b282c27710e183030d09649c45e1b82be5 /devtools/client/moz.build | |
parent | ee33f35b324110857b2854b30dd37936b2090e58 (diff) | |
parent | 197f4cbaa47e5e8b9b1fb578b10046914eb6486e (diff) | |
download | UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.gz UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.lz UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.xz UXP-91a27750b3fccaba162ec988d189a57d947776e4.zip |
Merge pull request #1177 from MoonchildProductions/remove_webide
Remove WebIDE devtools component.
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 |