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