Skip to content

make facet indexes rectangular if they overlap#1068

Closed
Fil wants to merge 2 commits intomainfrom
fil/rectangular-facets

Commits

Commits on Oct 3, 2022

Commits on Oct 5, 2022