From 197f4cbaa47e5e8b9b1fb578b10046914eb6486e Mon Sep 17 00:00:00 2001 From: wolfbeast Date: Sat, 13 Jul 2019 02:41:46 +0200 Subject: Remove WebIDE devtools component. This resolves #1123 --- .../client/webide/content/permissionstable.xhtml | 36 ---------------------- 1 file changed, 36 deletions(-) delete mode 100644 devtools/client/webide/content/permissionstable.xhtml (limited to 'devtools/client/webide/content/permissionstable.xhtml') diff --git a/devtools/client/webide/content/permissionstable.xhtml b/devtools/client/webide/content/permissionstable.xhtml deleted file mode 100644 index 361cfece8..000000000 --- a/devtools/client/webide/content/permissionstable.xhtml +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - %webideDTD; -]> - - - - - - - - - - -

- &deck_close; -

- -

&permissionstable_title;

- - - - - - - - -

&permissionstable_name_header;	type:web	type:privileged	type:certified

- - -- cgit v1.2.3