diff options
Diffstat (limited to 'CIAO/CIAO_DAnCE.mwc')
| -rw-r--r-- | CIAO/CIAO_DAnCE.mwc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CIAO/CIAO_DAnCE.mwc b/CIAO/CIAO_DAnCE.mwc index b942b65643e..54f28c615b4 100644 --- a/CIAO/CIAO_DAnCE.mwc +++ b/CIAO/CIAO_DAnCE.mwc @@ -5,4 +5,5 @@ workspace { ciao DAnCE tools/Config_Handlers + tools/XML } |