rename micro:bit to @boardname@

2016-11-01 17:44:37 -07:00
parent 9bc1e38345
commit 89406330cf
226 changed files with 697 additions and 750 deletions
--- a/olddocs/js/micro-bit-api.md
+++ b/olddocs/js/micro-bit-api.md
@@ -1,6 +1,6 @@
-# micro:bit
+# @boardname@

-The micro:bit device api. #microbit
+The @boardname@ device api. #microbit

 Initialize the library.