add smart tools extension (#1814)

2019-02-04 21:21:57 +00:00
parent 4f22abf4c9
commit d91c9b44c0
2 changed files with 5 additions and 0 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -187,6 +187,10 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
    "name": "Pimoroni Envirobit",
    "url": "/pkg/pimoroni/pxt-envirobit",
    "cardType": "package"
+}, {
+    "name": "51bit Smart Tools",
+    "url": "/pkg/51bit/SmartTools",
+    "cardType": "package"
 }, {
    "name": "MakerBit",
    "url": "/pkg/1010Technologies/pxt-makerbit",