Remove noncanonical definitions#53
Merged
cheecheeo merged 1 commit intocheecheeo:masterfrom Feb 28, 2025
rhendric:rhendric/noncanonical
Merged
Remove noncanonical definitions#53cheecheeo merged 1 commit intocheecheeo:masterfrom rhendric:rhendric/noncanonical
cheecheeo merged 1 commit intocheecheeo:masterfrom
rhendric:rhendric/noncanonical