chore: A lot of cleanup in the FeatureType#18
Merged
MatsMoll merged 4 commits intomainfrom matsei/chore-cleanupNov 6, 2023
+566-378
Commits
Commits on Nov 6, 2023
- committedMats E. Mollestad
- committedMats E. Mollestad
- committedMats E. Mollestad
- committedMats E. Mollestad