doc: Turn off noisy deprecation warnings in the option printer
authorDiego Biurrun <diego@biurrun.de>
Fri, 4 Dec 2015 11:43:10 +0000 (12:43 +0100)
committerDiego Biurrun <diego@biurrun.de>
Wed, 2 Nov 2016 09:33:39 +0000 (10:33 +0100)
commit2025d3787158ba272a1b8fbc0493fa20dd7a8484
tree6610df929a3e8054ef9c1978c80253025c96ad3e
parentf4ca8ea92a8b36fe723412aefafc1b2fa89f8dc6
doc: Turn off noisy deprecation warnings in the option printer
doc/print_options.c