diff options
Diffstat (limited to 'bin/MakeProjectCreator/config/fault_tolerance.mpb')
| -rw-r--r-- | bin/MakeProjectCreator/config/fault_tolerance.mpb | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/MakeProjectCreator/config/fault_tolerance.mpb b/bin/MakeProjectCreator/config/fault_tolerance.mpb deleted file mode 100644 index 35e964d4df6..00000000000 --- a/bin/MakeProjectCreator/config/fault_tolerance.mpb +++ /dev/null @@ -1,8 +0,0 @@ -// -*- MPC -*- -// $Id$ - -project : naming, notification, portablegroup, messaging, ftorb, pi, pi_server { - after += FaultTolerance - libs += TAO_FaultTolerance - tagchecks += FaultTolerance -} |