mirror of
https://github.com/AdaCore/cpython.git
synced 2026-02-12 12:57:15 -08:00
main(): Include a comma between the module name and page number, to make the generated index more like the "standard" generated index.
main(): Include a comma between the module name and page number, to make the generated index more like the "standard" generated index.