diff options
| -rw-r--r-- | TAO/CIAO/tools/tools.mwc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/TAO/CIAO/tools/tools.mwc b/TAO/CIAO/tools/tools.mwc index 9e697977ac3..dd297256b34 100644 --- a/TAO/CIAO/tools/tools.mwc +++ b/TAO/CIAO/tools/tools.mwc @@ -2,7 +2,4 @@ // $Id$ workspace { - exclude { - Simple_Component_Server - } } |