diff options
Diffstat (limited to 'CIAO/CIAO_DAnCE.mwc')
| -rw-r--r-- | CIAO/CIAO_DAnCE.mwc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/CIAO/CIAO_DAnCE.mwc b/CIAO/CIAO_DAnCE.mwc deleted file mode 100644 index 63fb07b277d..00000000000 --- a/CIAO/CIAO_DAnCE.mwc +++ /dev/null @@ -1,13 +0,0 @@ -workspace { - ccm - ciao - tools - connectors/ami4ccm/ami4ccm - connectors/dds4ccm/idl - connectors/dds4ccm/impl - - $(DANCE_ROOT) - exclude { - $(DANCE_ROOT)/tests - } -} |