From 8fe925f1ad034dd55a200c2070062cc970b97c62 Mon Sep 17 00:00:00 2001
From: Paul Kaplan <pkaplan@media.mit.edu>
Date: Thu, 19 Jul 2018 09:28:50 -0400
Subject: [PATCH] Enable ev3 and micro:bit extensions

---
 src/lib/libraries/extensions/index.jsx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/libraries/extensions/index.jsx b/src/lib/libraries/extensions/index.jsx
index 79de34987..316980efe 100644
--- a/src/lib/libraries/extensions/index.jsx
+++ b/src/lib/libraries/extensions/index.jsx
@@ -103,7 +103,7 @@ export default [
             />
         ),
         featured: true,
-        disabled: true,
+        disabled: false,
         launchDeviceConnectionFlow: true,
         deviceImage: microbitDeviceImage,
         smallDeviceImage: microbitMenuImage,
@@ -128,7 +128,7 @@ export default [
             />
         ),
         featured: true,
-        disabled: true,
+        disabled: false,
         launchDeviceConnectionFlow: true,
         deviceImage: ev3DeviceImage,
         smallDeviceImage: ev3MenuImage,
-- 
GitLab