Systematize names: some easy pickings#1015
Merged
hmpf merged 10 commits intoUninett:masterfrom hmpf:singularize-easy-pickingsDec 10, 2024
+9-8
Commits
Commits on Dec 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 10, 2024
- committed