diff options
Diffstat (limited to 'CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc')
| -rw-r--r-- | CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc b/CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc index 0fa9d1eaafb..263fb68e16e 100644 --- a/CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc +++ b/CIAO/DAnCE/DomainApplicationManager/DomainApplicationManager.mpc @@ -1,7 +1,7 @@ // -*- MPC -*- // $Id$ -project (DomainApplicationManager): ciao_deployment_svnt, naming { +project (DomainApplicationManager): ciao_deployment_svnt { sharedname = DomainApplicationManager after += ExecutionManager_stub |