removing dead option

2018-10-11 13:50:10 -07:00 · 2018-10-11 13:50:10 -07:00 · 75fb9a6f68
commit 75fb9a6f68
parent 37404acbcc
1 changed files with 0 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -236,7 +236,6 @@
                "#107C10"
            ]
        },
-        "chromeExtension": "hjcflblhjoglmjjkecamiegdigfkgeni",
        "vendorId": "0x0d28",
        "productId": "0x0204",
        "rawHID": true