Skip to content

Clarify diff layout, geometry, and bounds naming#152

Merged
benvinegar merged 1 commit intomainfrom
pi/rename-diff-geometry-terms
Mar 31, 2026
Merged

Clarify diff layout, geometry, and bounds naming#152
benvinegar merged 1 commit intomainfrom
pi/rename-diff-geometry-terms

Commits

Commits on Mar 31, 2026