Add MakerBit Pins extension (#1979)

2019-04-24 16:40:46 +02:00
parent c3c2545607
commit f480d35d6b
2 changed files with 5 additions and 0 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -210,6 +210,10 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
    "name": "MakerBit",
    "url": "/pkg/1010Technologies/pxt-makerbit",
    "cardType": "package"
+}, {
+    "name": "MakerBit Pins",
+    "url": "/pkg/1010Technologies/pxt-makerbit-pins",
+    "cardType": "package"
 }]
 ```