diff options
Diffstat (limited to 'CIAO/examples/DevGuideExamples/CIAO.mwc')
-rw-r--r-- | CIAO/examples/DevGuideExamples/CIAO.mwc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/CIAO/examples/DevGuideExamples/CIAO.mwc b/CIAO/examples/DevGuideExamples/CIAO.mwc deleted file mode 100644 index 70537148ebc..00000000000 --- a/CIAO/examples/DevGuideExamples/CIAO.mwc +++ /dev/null @@ -1,3 +0,0 @@ -// -*- MPC -*- -workspace { -} |