Full Typing of Spinnman classes#425
Merged
Christian-B merged 25 commits intomasterfrom t_manNov 19, 2024
+675-481
Commits
Commits on Oct 22, 2024
- committed
- committed
- committed
Commits on Oct 23, 2024
- committed
Commits on Oct 28, 2024
- committed
- committed
- committed
- committed
Commits on Oct 29, 2024
- committed
Commits on Oct 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 4, 2024
- committed
Commits on Nov 6, 2024
Commits on Nov 7, 2024
- committed
- committed
- committed