diff options
Diffstat (limited to 'CIAO/MPC/config/ciao_servant.mpb')
| -rw-r--r-- | CIAO/MPC/config/ciao_servant.mpb | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/CIAO/MPC/config/ciao_servant.mpb b/CIAO/MPC/config/ciao_servant.mpb deleted file mode 100644 index 0ea8ccf3989..00000000000 --- a/CIAO/MPC/config/ciao_servant.mpb +++ /dev/null @@ -1,7 +0,0 @@ -// -*- MPC -*- -project : ciao_logger, \ - ccm_svnt, taoidldefaults, portableserver, ccm_cookie, ccm_session_stub, \ - ciao_session_container_stub, ccm_direct_collocation { - after += CIAO_Servant_Impl - libs += CIAO_Servant_Impl -} |