From d330eed7c03b8c3eb5d23cea926271f82d102bee Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Sun, 17 Dec 2017 11:04:50 +0100 Subject: [PATCH] Rename "orgmanual.org" to "manual.org" --- contrib/{orgmanual.org => manual.org} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename contrib/{orgmanual.org => manual.org} (100%) diff --git a/contrib/orgmanual.org b/contrib/manual.org similarity index 100% rename from contrib/orgmanual.org rename to contrib/manual.org -- 2.11.4.GIT