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