Skip to content

[fixes #2178] regularise and specify/systematise, the conventions for symbol usage#2185

Merged
MatthewDaggitt merged 2 commits intoagda:masterfrom
jamesmckinna:issue2178
Nov 1, 2023

Commits

Commits on Oct 26, 2023

Commits on Oct 28, 2023