Make git title generic

facchinm · facchinm · commit 1c5fb70ab9a8 · 2021-03-17T15:53:20.000+01:00
diff --git a/platform.txt b/platform.txt
@@ -4,8 +4,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=Arduino Mbed OS Boards (nRF52840 / STM32H747)
-version=1.3.2
+name=Arduino Mbed OS Boards
+version=9.9.9
 
 # Compile variables
 # ------------------------
