From b1b89b5adc2dd5f21768d78b1b140fb18f42235b Mon Sep 17 00:00:00 2001 From: rick Date: Sat, 6 Mar 2021 16:38:17 +0100 Subject: [PATCH] renommage dossier --- {jour1 => jour01}/input | 0 {jour1 => jour01}/jour1.c | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {jour1 => jour01}/input (100%) rename {jour1 => jour01}/jour1.c (100%) diff --git a/jour1/input b/jour01/input similarity index 100% rename from jour1/input rename to jour01/input diff --git a/jour1/jour1.c b/jour01/jour1.c similarity index 100% rename from jour1/jour1.c rename to jour01/jour1.c