diff options
Diffstat (limited to 'rtems-coverage/README')
-rw-r--r-- | rtems-coverage/README | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/rtems-coverage/README b/rtems-coverage/README index b5514d0..b140976 100644 --- a/rtems-coverage/README +++ b/rtems-coverage/README @@ -1,7 +1,3 @@ -# -# $Id$ -# - The script do_coverage now is a living README. Please see it for procedural information. It can perform all steps. You should only have to edit VERSIONS-COVERAGE to tailor to your local installation |