From 2401c7b0f818f39ff029627d0d9443851b1ccb1e Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Sun, 3 Jun 2018 15:00:29 +0200 Subject: [PATCH] Rename raspberrypi.mk to raspberrypi.md --- Documentation/boards/{raspberrypi.mk => raspberrypi.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Documentation/boards/{raspberrypi.mk => raspberrypi.md} (100%) diff --git a/Documentation/boards/raspberrypi.mk b/Documentation/boards/raspberrypi.md similarity index 100% rename from Documentation/boards/raspberrypi.mk rename to Documentation/boards/raspberrypi.md