arturo182 9962ea6449 nrf: Change pin names on DKs to match silkscreen ... Quite a big revamp of the make-pins script, it is now used on each build to generate the pin files, so the static ones are not needed anymore.		2018-02-12 22:41:19 +01:00
..
ble	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00
machine	nrf: Change pin names on DKs to match silkscreen	2018-02-12 22:41:19 +01:00
music	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00
pyb	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00
random	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00
ubluepy	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00
utime	ports/nrf: Moving nrf51/52 port to new ports directory	2017-10-04 21:46:48 +02:00