diff options
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: |