diff .hgtags @ 4320:26e2e3ace9e6

handle unknown/unspecified AC_ARG options consistently
author John W. Eaton <jwe@octave.org>
date Wed, 04 Jan 2017 21:29:05 -0500
parents 1c7f628ee3ca
children 702379b04b1c
line wrap: on
line diff