diff options
| -rwxr-xr-x | CIAO/tests/DDS/tests/run_publishers.pl (renamed from CIAO/tests/DDS/tests/run_publisher.pl) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/CIAO/tests/DDS/tests/run_publisher.pl b/CIAO/tests/DDS/tests/run_publishers.pl index ecef600f121..ecef600f121 100755 --- a/CIAO/tests/DDS/tests/run_publisher.pl +++ b/CIAO/tests/DDS/tests/run_publishers.pl |