On Fri, Jul 29, 2011 at 2:46 PM, Antoine Pitrou <solip...@pitrou.net> wrote: > There's no practical difference (from the user's point of view) between > extension modules and the library, so I think the "Extension Modules" > section should simply die.
+1. This has been bugging me for a while now. _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
