[docs] [issue16154] Some minor doc fixes in Doc/library
report at bugs.python.org
Sun Oct 7 21:10:36 CEST 2012
Chris Jerdonek added the comment:
> I considered the directive, but I mildly prefer the code change.
I just wanted to point the directive out as an available option (especially for Ravi if he does further patches like this). Either way is fine with me.
Python tracker <report at bugs.python.org>
More information about the docs