From 5a2fc3c054e19b0fd7e6067336c761c23d5c3e7e Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Tue, 6 Mar 2018 19:27:57 -0800
Subject: [PATCH] bump pxt

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 3f80d76b..894026f3 100644
--- a/package.json
+++ b/package.json
@@ -41,6 +41,6 @@
     "semantic-ui-less": "^2.2.4"
   },
   "dependencies": {
-    "pxt-core": "0.17.12"
+    "pxt-core": "0.17.13"
   }
 }