Skip to content

Fix a few typos in cfgs.#822

Merged
sunfishcode merged 1 commit intomainfrom
sunfishcode/typos
Sep 10, 2023
Merged

Fix a few typos in cfgs.#822
sunfishcode merged 1 commit intomainfrom
sunfishcode/typos

Commits

Commits on Sep 10, 2023