diff options
Diffstat (limited to 'trunk/CIAO/CIAO.mwc')
-rw-r--r-- | trunk/CIAO/CIAO.mwc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/trunk/CIAO/CIAO.mwc b/trunk/CIAO/CIAO.mwc deleted file mode 100644 index dd297256b34..00000000000 --- a/trunk/CIAO/CIAO.mwc +++ /dev/null @@ -1,5 +0,0 @@ -// -*- MPC -*- -// $Id$ - -workspace { -} |