joerg 2b6f2bcdf0 Pointers are not signed, so don't check them as such.		2016-12-21 13:37:24 +00:00
..
patch-ad
patch-af
patch-bushnell.cc	Pointers are not signed, so don't check them as such.	2016-12-21 13:37:24 +00:00
patch-configure
patch-configure.in
patch-testo