From cf1d3be1bfb1952942b6d62ad9401defd7096b0a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 13 Dec 2010 12:19:48 +0100
Subject: [PATCH] renamed for sorted output

---
 scripts/{5.0-rc3.sh => 5.0-rc03.sh} | 0
 scripts/{5.0-rc5.sh => 5.0-rc05.sh} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename scripts/{5.0-rc3.sh => 5.0-rc03.sh} (100%)
 rename scripts/{5.0-rc5.sh => 5.0-rc05.sh} (100%)

diff --git a/scripts/5.0-rc3.sh b/scripts/5.0-rc03.sh
similarity index 100%
rename from scripts/5.0-rc3.sh
rename to scripts/5.0-rc03.sh
diff --git a/scripts/5.0-rc5.sh b/scripts/5.0-rc05.sh
similarity index 100%
rename from scripts/5.0-rc5.sh
rename to scripts/5.0-rc05.sh
-- 
2.47.0