Show component values in list (+ other minor conveniences)#551
Merged
Bouni merged 10 commits intoBouni:mainfrom wrs:improvementsDec 13, 2024
+262-19
Commits
Commits on Nov 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 18, 2024
- committed
- committed
