Skip to content

Rename norgate to nor_gate to keep consistency#8968

Merged
tianyizheng02 merged 2 commits intoTheAlgorithms:masterfrom
CaedenPH:rename-norgate
Aug 17, 2023

Commits

Commits on Aug 16, 2023