[docs] [issue16154] Some minor doc fixes in Doc/library

Chris Jerdonek 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 mailing list