From 04b5c827c1e3e399311b71ad056ab318d51865c7 Mon Sep 17 00:00:00 2001
From: Mohamed Ibrahim <mibrahim@mibrahim.net>
Date: Sun, 27 Sep 2015 11:50:14 -0400
Subject: [PATCH] Rename the file

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

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