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 /coverity/do_coverity | |
parent | XXX (diff) | |
download | rtems-testing-ef065c7fec2fa2a4f316d2dc3a4d2524f0263300.tar.bz2 |
rtems-testing - Remove CVS Ids (manual edits)
Diffstat (limited to 'coverity/do_coverity')
-rwxr-xr-x | coverity/do_coverity | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/coverity/do_coverity b/coverity/do_coverity index 1a7fdd7..bb144d3 100755 --- a/coverity/do_coverity +++ b/coverity/do_coverity @@ -12,8 +12,6 @@ # + You have to be joel to run and submit official results. # + build.raw is very important if something goes wrong # -# $Id$ -# # # TODO: |