From e4e7e72a124433d47e41f994bec603c81d24bdcd Mon Sep 17 00:00:00 2001
From: Andrew Sliwinski <andrewsliwinski@acm.org>
Date: Mon, 23 Apr 2018 11:24:12 -0400
Subject: [PATCH] Make MINDSTORMS uppercase as per feedback from LEGO

---
 src/lib/libraries/extensions/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/libraries/extensions/index.js b/src/lib/libraries/extensions/index.js
index 29b3b8012..670df71ee 100644
--- a/src/lib/libraries/extensions/index.js
+++ b/src/lib/libraries/extensions/index.js
@@ -54,7 +54,7 @@ export default [
         disabled: true
     },
     {
-        name: 'LEGO Mindstorms EV3',
+        name: 'LEGO MINDSTORMS EV3',
         extensionURL: '',
         iconURL: ev3Image,
         description: 'Build interactive robots and more.',