1 files changed, 0 insertions, 5 deletions
diff --git a/CIAO/CIAO.mwc b/CIAO/CIAO.mwc
deleted file mode 100644
index dd297256b34..00000000000
--- a/CIAO/CIAO.mwc
+++ /dev/null
@@ -1,5 +0,0 @@
-// -*- MPC -*-
-// $Id$
-
-workspace {
-}