add gator environment (#2326)

2019-09-11 12:44:52 +01:00
parent dd1a7349f0
commit 650ea59dd8
2 changed files with 5 additions and 0 deletions
--- a/docs/extensions.md
+++ b/docs/extensions.md
@ -215,6 +215,10 @@ Check out [microbit.org](http://microbit.org/resellers/) for more information on
  "name": "Sparkfun Weather:bit",
  "url":"/pkg/sparkfun/pxt-weather-bit",
  "cardType": "package"
+}, {
+  "name": "Sparkfun gator:environment",
+  "url":"/pkg/sparkfun/pxt-gator-environment",
+  "cardType": "package"
 }, {
  "name": "Minode Kit",
  "url":"/pkg/minodekit/pxt-minode",