diff options
Diffstat (limited to 'devtools/chrome.manifest')
| -rw-r--r-- | devtools/chrome.manifest | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devtools/chrome.manifest b/devtools/chrome.manifest new file mode 100644 index 0000000000..458dd166bb --- /dev/null +++ b/devtools/chrome.manifest @@ -0,0 +1,8 @@ +content devtools client/ +skin devtools classic/1.0 client/themes/ +resource devtools . +locale devtools en-US client/locales/en-US/ +locale devtools-shared en-US shared/locales/en-US/ + +content webide client/webide/content/ +skin webide classic/1.0 client/webide/themes/ |