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