Skip to content

remove the word "Interface" from the name of interfaces, as it's redundant.#501

Merged
Psychlist1972 merged 5 commits intomainfrom interfacerenameFeb 6, 2025

Commits

Commits on Jan 29, 2025

Commits on Jan 30, 2025

Commits on Feb 6, 2025