From 75fb9a6f68f721c4433f3b278d2883a66eedebc1 Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Thu, 11 Oct 2018 13:50:10 -0700
Subject: [PATCH] removing dead option

---
 pxtarget.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 519fdb2c..29b3f709 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -236,7 +236,6 @@
                 "#107C10"
             ]
         },
-        "chromeExtension": "hjcflblhjoglmjjkecamiegdigfkgeni",
         "vendorId": "0x0d28",
         "productId": "0x0204",
         "rawHID": true