diff options
Diffstat (limited to 'CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc')
| -rw-r--r-- | CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc b/CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc index 64772ddd011..eb1de40723f 100644 --- a/CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc +++ b/CIAO/DAnCE/Plan_Generator/Plan_Generator.mpc @@ -1,7 +1,7 @@ // -*- MPC -*- //$Id$ -project (Plan_Generator) : dance_deployment_stub, naming { +project (Plan_Generator) : dance_deployment_stub, naming, dance_lib { sharedname = DAnCE_Plan_Generator after += RepositoryManager |