1 files changed, 0 insertions, 6 deletions
diff --git a/CIAO/tools/tools.mwc b/CIAO/tools/tools.mwc
deleted file mode 100644
index b841dc37dd0..00000000000
--- a/CIAO/tools/tools.mwc
+++ /dev/null
@@ -1,6 +0,0 @@
-// -*- MPC -*-
-// $Id$
-
-workspace {
-        Config_Handlers
-}
-\ No newline at end of file