From e073c72159bf18880526e45b6e019c5c64ceed3c Mon Sep 17 00:00:00 2001 From: David Sarrut Date: Fri, 26 Jul 2013 08:44:39 +0200 Subject: [PATCH] Moved from repository clitk.private to tools --- {tests_dav => tools}/GateMergeManager.cc | 0 {tests_dav => tools}/GateMergeManager.hh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {tests_dav => tools}/GateMergeManager.cc (100%) rename {tests_dav => tools}/GateMergeManager.hh (100%) diff --git a/tests_dav/GateMergeManager.cc b/tools/GateMergeManager.cc similarity index 100% rename from tests_dav/GateMergeManager.cc rename to tools/GateMergeManager.cc diff --git a/tests_dav/GateMergeManager.hh b/tools/GateMergeManager.hh similarity index 100% rename from tests_dav/GateMergeManager.hh rename to tools/GateMergeManager.hh -- 2.47.1