From eb80e522f7ae2bc9577d597747c3fb014713910a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laurent=20Gourv=C3=A9nec?= Date: Wed, 6 Sep 2023 11:45:10 +0200 Subject: [PATCH] Renommage du script get_tables_sizes.sh en get_hydra_table_sizes Plus significatif et proche des noms des autres scripts. --- scripts/{get_tables_sizes.sh => get_hydra_table_sizes} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/{get_tables_sizes.sh => get_hydra_table_sizes} (100%) diff --git a/scripts/get_tables_sizes.sh b/scripts/get_hydra_table_sizes similarity index 100% rename from scripts/get_tables_sizes.sh rename to scripts/get_hydra_table_sizes