Skip to content

More user friendly names.#1048

Merged
defectiveAi merged 1 commit intomainfrom aiu/more_user_friendly_namesDec 12, 2024

Commits

Commits on Dec 12, 2024