Pascal Vizeli 68dddf0ad7 Update configuration.md

2018-06-03 15:12:03 +02:00

..

boards

Rename raspberrypi.mk to raspberrypi.md

2018-06-03 15:00:29 +02:00

configuration.md

Update configuration.md

2018-06-03 15:12:03 +02:00