diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 16:07:33 -0500 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 16:07:33 -0500 |
commit | ef065c7fec2fa2a4f316d2dc3a4d2524f0263300 (patch) | |
tree | 12e0235f6b4c5a725be01265a4a3b0e4e04176bd /rtems-coverage/generate_coverage_html | |
parent | 9b2d9009310975553485a9685ae0a626c3efa3ce (diff) |
rtems-testing - Remove CVS Ids (manual edits)
Diffstat (limited to 'rtems-coverage/generate_coverage_html')
-rwxr-xr-x | rtems-coverage/generate_coverage_html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rtems-coverage/generate_coverage_html b/rtems-coverage/generate_coverage_html index 382a733..1df2fba 100755 --- a/rtems-coverage/generate_coverage_html +++ b/rtems-coverage/generate_coverage_html @@ -2,8 +2,6 @@ # # Combine the various reports into a single html file # -# $Id$ -# vfile=`dirname $0`/VERSIONS-COVERAGE if [ ! -r ${vfile} ] ; then |