[sudo-commits] sudo changeset 9972:d81db98f215f

[Todd C. Miller]

changeset:	9972:d81db98f215f in /media/repos/sudo
details:	http://www.sudo.ws/repos/sudo/rev/d81db98f215f
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Thu Apr 09 18:14:38 2015 -0600

Log Message:
	Work around a bug in pp that caused a warning when exampledir is a
	subdir of docdir.

diffstat:

 sudo.pp |  4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)