Update boards.txt

Alice Pintus · Brian Baltz · commit b0531afe05cb · 2016-01-08T10:46:52.000-08:00
Change name Arduino 101 into Arduino/Genuino 101 to be consistent with the rest of the ecosystem
diff --git a/boards.txt b/boards.txt
@@ -2,7 +2,7 @@
 
 ##############################################################
 
-arduino_101.name=Arduino 101
+arduino_101.name=Arduino/Genuino 101
 
 arduino_101.vid.0=0x8087
 arduino_101.pid.0=0x0AB6
