From 146c16561058cab6cfc5e66fbd162e8c0987dfbd Mon Sep 17 00:00:00 2001 From: Claire Mouton Date: Thu, 11 Apr 2013 10:41:13 +0200 Subject: [PATCH] Renamed menu.sh to deprecated_menu.sh. --- Linux/{menu.sh => deprecated_menu.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Linux/{menu.sh => deprecated_menu.sh} (100%) diff --git a/Linux/menu.sh b/Linux/deprecated_menu.sh similarity index 100% rename from Linux/menu.sh rename to Linux/deprecated_menu.sh -- 2.44.0