diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 4549659ce2..3804870606 100755 --- a/run-tests.php +++ b/run-tests.php @@ -666,7 +666,7 @@ if (isset($argc) && $argc > 1) { $html_output = is_resource($html_file); break; case '--version': - echo '$Revision$' . "\n"; + echo '$Id$' . "\n"; exit(1); default: |