From 4876ee276d2c518c740028faf0e02f5fd632d441 Mon Sep 17 00:00:00 2001 From: Gbkng Date: Mon, 17 Jun 2024 20:22:42 +0200 Subject: [PATCH] move dev scripts to tools/ directory --- {src/ICoCo/github => tools}/check_consistency.sh | 0 {resources/dev => tools}/mc_suppr_valgrind | 0 {resources/dev => tools}/my_findNodesToDup.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename {src/ICoCo/github => tools}/check_consistency.sh (100%) rename {resources/dev => tools}/mc_suppr_valgrind (100%) rename {resources/dev => tools}/my_findNodesToDup.py (100%) diff --git a/src/ICoCo/github/check_consistency.sh b/tools/check_consistency.sh similarity index 100% rename from src/ICoCo/github/check_consistency.sh rename to tools/check_consistency.sh diff --git a/resources/dev/mc_suppr_valgrind b/tools/mc_suppr_valgrind similarity index 100% rename from resources/dev/mc_suppr_valgrind rename to tools/mc_suppr_valgrind diff --git a/resources/dev/my_findNodesToDup.py b/tools/my_findNodesToDup.py similarity index 100% rename from resources/dev/my_findNodesToDup.py rename to tools/my_findNodesToDup.py -- 2.39.2