Renommage du script get_tables_sizes.sh en get_hydra_table_sizes

Plus significatif et proche des noms des autres scripts.
This commit is contained in:
Laurent Gourvenec 2023-09-06 11:45:10 +02:00
parent a14baa049e
commit eb80e522f7