From be9e1fe458f3245e24d39c2cbbcdcecac75ef357 Mon Sep 17 00:00:00 2001
From: Denton Liu <liu.denton+github@gmail.com>
Date: Fri, 20 May 2016 13:27:50 -0400
Subject: [PATCH] Removed devtools_page attribute

There is no devtools.html to point to
---
 manifest.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/manifest.json b/manifest.json
index 7f5584831a..9f1eacd1a1 100644
--- 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,