Skip to content

Rename xref_formatter to type_xref_formatter#83

Merged
hoodmane merged 3 commits intopyodide:masterfrom hoodmane:rename-type-xref-formatterSep 28, 2023