diff options
Diffstat (limited to 'changes/bug9267')
| -rw-r--r-- | changes/bug9267 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/bug9267 b/changes/bug9267 deleted file mode 100644 index 95a621148d..0000000000 --- a/changes/bug9267 +++ /dev/null @@ -1,4 +0,0 @@ - o Minor bugfixes: - - Added optional parameter to contrib/coverage script to specify directory - to put gcov files in, and added reset-gcov target to top-level makefile. - Fixes bug #9267. |