From a2af2ff876814360430665fe411be246b3fc3681 Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Wed, 2 Dec 2020 14:59:46 +0100 Subject: [PATCH] Rename codes portes/evariste/Portail to codes portes/evariste/portail. --- codes portes/evariste/{Portail.gpg => portail.gpg} | Bin 1 file changed, 0 insertions(+), 0 deletions(-) rename codes portes/evariste/{Portail.gpg => portail.gpg} (100%) diff --git a/codes portes/evariste/Portail.gpg b/codes portes/evariste/portail.gpg similarity index 100% rename from codes portes/evariste/Portail.gpg rename to codes portes/evariste/portail.gpg