[sudo-commits] sudo changeset 7896:f25624951bd2

[Todd C. Miller]

changeset:	7896:f25624951bd2 in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/f25624951bd2
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Thu Mar 15 12:32:31 2012 -0400

Log Message:
	Rename plugin "args" to "options"

diffstat:

 common/sudo_conf.c     |  30 +++++++++++++++---------------
 doc/sample.sudo.conf   |   4 ++--
 doc/sudo.cat           |   6 +++---
 doc/sudo.man.in        |   6 +++---
 doc/sudo.pod           |   4 ++--
 doc/sudo_plugin.cat    |  40 ++++++++++++++++++++--------------------
 doc/sudo_plugin.man.in |  34 +++++++++++++++++-----------------
 doc/sudo_plugin.pod    |  30 +++++++++++++++---------------
 doc/sudoers.cat        |   6 +++---
 doc/sudoers.man.in     |   6 +++---
 doc/sudoers.pod        |   4 ++--
 include/sudo_conf.h    |   2 +-
 include/sudo_plugin.h  |   4 ++--
 src/load_plugins.c     |   4 ++--
 src/sudo.c             |   4 ++--
 src/sudo_plugin_int.h  |   2 +-
 16 files changed, 93 insertions(+), 93 deletions(-)