Removed devtools_page attribute

There is no devtools.html to point to
9 years ago · be9e1fe458
parent 9043c4ddb6
commit be9e1fe458
1 changed files with 0 additions and 1 deletions
--- a/manifest.json
+++ b/manifest.json
@ -1,7 +1,6 @@
 {
  "name": "Solidity",
  "description": "Realtime compiler and runtime",
-  "devtools_page": "devtools.html",
  "update_url": "https://chriseth.github.io/browser-solidity/",
  "version": "1.1",
  "manifest_version": 2,