extradoc: keep exact-text pre-pins immovable in table-flank pinning - #77
Open
cassus wants to merge 1 commit into
Open
extradoc: keep exact-text pre-pins immovable in table-flank pinning#77cassus wants to merge 1 commit into
cassus wants to merge 1 commit into