diff options
Diffstat (limited to 'coverity/Makefile')
| -rw-r--r-- | coverity/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/coverity/Makefile b/coverity/Makefile index b22533e..8ae70ad 100644 --- a/coverity/Makefile +++ b/coverity/Makefile @@ -1,7 +1,3 @@ -# -# $Id$ -# - INSTALL_DIR=../bin SCRIPTS=do_coverity do_mail_coverity |