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