From 190321b4c458eb5a1b28e01c4452e85d773e81e5 Mon Sep 17 00:00:00 2001 From: wzeth Date: Thu, 27 Oct 2016 03:00:42 -0400 Subject: [PATCH] Rename building-ubuntu16.10 to building-ubuntu16.10.md --- doc/{building-ubuntu16.10 => building-ubuntu16.10.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{building-ubuntu16.10 => building-ubuntu16.10.md} (100%) diff --git a/doc/building-ubuntu16.10 b/doc/building-ubuntu16.10.md similarity index 100% rename from doc/building-ubuntu16.10 rename to doc/building-ubuntu16.10.md