diff options
Diffstat (limited to 'CIAO/tools/tools.mwc')
-rw-r--r-- | CIAO/tools/tools.mwc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/CIAO/tools/tools.mwc b/CIAO/tools/tools.mwc deleted file mode 100644 index ae28cfcba54..00000000000 --- a/CIAO/tools/tools.mwc +++ /dev/null @@ -1,7 +0,0 @@ -// -*- MPC -*- -// $Id$ - -workspace { - Config_Handlers - IDL3_to_IDL2 -}
\ No newline at end of file |