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