Remove WebIDE devtools component.

This resolves #1123
This commit is contained in:
wolfbeast 2019-07-13 02:41:46 +02:00 • committed by Roy Tam
commit 8c1500707f
163 changed files with 0 additions and 13812 deletions

View file

@ -34,7 +34,6 @@ DIRS += [
'themes',
'webaudioeditor',
'webconsole',
'webide',
]
# Shim old theme paths used by DevTools add-ons