mirror of
https://github.com/python/cpython.git
synced 2026-06-01 09:09:28 -04:00
77c18951fb
change to Doc/tools/node2label.pl (revision 1.13) makes this work.