diff options
Diffstat (limited to 'CIAO/DAnCE/Utils/DAnCE_Utils.mpc')
| -rw-r--r-- | CIAO/DAnCE/Utils/DAnCE_Utils.mpc | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/CIAO/DAnCE/Utils/DAnCE_Utils.mpc b/CIAO/DAnCE/Utils/DAnCE_Utils.mpc deleted file mode 100644 index dfe9f1e5be5..00000000000 --- a/CIAO/DAnCE/Utils/DAnCE_Utils.mpc +++ /dev/null @@ -1,17 +0,0 @@ -// -*- MPC -*- -// $Id$ - -project (DAnCE_Utils): ciao_deployment_svnt, naming, ace_output { - sharedname = DAnCE_Utils - - dynamicflags = DANCE_UTILS_BUILD_DLL - - Source_Files { - Plan_Handler.cpp - } - - Header_Files { - Plan_Handler.h - } -} - |