Galen Nickel 67153fccc5
Reduce the use of @boardname@ (#527)
* Reduce the use of @boardname@

* Use literal 'EV3 Brick' string instead

* Use the new 'nickname' form
2018-04-16 16:15:58 -07:00
..
2018-04-13 09:05:34 -07:00
2018-04-13 09:05:34 -07:00
2018-04-13 09:05:34 -07:00
2018-04-13 09:05:34 -07:00
2018-04-16 16:15:58 -07:00
2017-06-29 15:47:26 +01:00
2018-04-11 10:31:53 -06:00
2018-04-13 21:03:43 -07:00
2018-04-11 08:45:44 -06:00
2018-04-13 09:05:34 -07:00
2018-04-12 15:05:14 -07:00