diff .gitignore @ 1545:0b991dec7ab9 coverity

merge coverity
author Matt Johnston <matt@ucc.asn.au>
date Mon, 26 Feb 2018 22:43:12 +0800
parents 03a42f41cf2c
children 76189c9ffea2
line wrap: on
line diff
--- a/.gitignore	Mon Feb 19 23:14:49 2018 +0800
+++ b/.gitignore	Mon Feb 26 22:43:12 2018 +0800
@@ -19,3 +19,4 @@
 config.h
 config.h.in
 configure
+default_options_guard.h