diff options
Diffstat (limited to 'coverity/README')
-rw-r--r-- | coverity/README | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/coverity/README b/coverity/README index 934ca41..d02069b 100644 --- a/coverity/README +++ b/coverity/README @@ -1,7 +1,3 @@ -# -# $Id$ -# - This directory contains scripts which assist in running Coverity on RTEMS and submitting them to the Coverity builder. You have to have an account to view the results of the run. |