condensed display for tables #167#278
Merged
nielsdejong merged 6 commits intodevelopfrom task/issue-167-compact-tableJan 21, 2023
+27-11
Commits
Commits on Nov 29, 2022
- committedMarius Conjeaud
Commits on Dec 12, 2022
- committedMarius Conjeaud
- committedMarius Conjeaud
Commits on Jan 13, 2023
- committedMarius Conjeaud
Commits on Jan 16, 2023
- committedMarius Conjeaud