From 80b4322420087e0d4e7976885178eeae8b6b89e7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jo=C3=A3o=20Oliveira?=
 <44142506+Joaopmoliveira@users.noreply.github.com>
Date: Mon, 4 May 2020 21:23:58 +0100
Subject: [PATCH] Rename linux_build_tutorial to linux_build_tutorial.md

---
 doc/{linux_build_tutorial => linux_build_tutorial.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{linux_build_tutorial => linux_build_tutorial.md} (100%)

diff --git a/doc/linux_build_tutorial b/doc/linux_build_tutorial.md
similarity index 100%
rename from doc/linux_build_tutorial
rename to doc/linux_build_tutorial.md
-- 
2.47.3