diff options
Diffstat (limited to 'CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc')
| -rw-r--r-- | CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc b/CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc index 5c824ef9072..e3c27c52341 100644 --- a/CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc +++ b/CIAO/performance-tests/Benchmark/RoundTripServer/RoundTripServer.mpc @@ -1,4 +1,3 @@ -// $Id$ project (RoundTrip_server) : strategies, ciao_executor { exename = server after += Benchmark_skel |