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