Some small fixes suggested by Coverity Scan

2014-09-03 17:11:07 +01:00
parent bd7e32b34c
commit 7ad3bcd729
8 changed files with 25 additions and 8 deletions
--- a/.hgignore
+++ b/.hgignore
@@ -12,4 +12,5 @@ lib/*
 config.status
 doc/html
 *.rej
-
+cov-int
+*~