add 4tronix minibit (#2249)

2019-07-16 13:57:53 +01:00
parent e6ecd65ae4
commit 590d4def85
2 changed files with 7 additions and 1 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -31,6 +31,11 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
  "name": "4tronix BitBot",
  "url":"/pkg/4tronix/BitBot",
  "cardType": "package"
+},
+{
+  "name": "4tronix MiniBit",
+  "url":"/pkg/4tronix/MiniBit",
+  "cardType": "package"
 }, {
  "name": "SRS BitBot",
  "url":"/pkg/srs/pxt-bitbot",