[sudo-commits] sudo changeset 11165:3ea3c3d477bf

[Todd C. Miller]

changeset:	11165:3ea3c3d477bf in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/3ea3c3d477bf
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Wed Jan 17 09:52:09 2018 -0700

Log Message:
	Remove duplicate options %type

diffstat:

 plugins/sudoers/gram.c |  198 ++++++++++++++++++++++++------------------------
 plugins/sudoers/gram.y |    1 -
 2 files changed, 99 insertions(+), 100 deletions(-)