🧹 remove unneeded logic to transform thebe options and improve naming#291
Merged
stevejpurves merged 15 commits intomainfrom mnt/reduce-thebe-opt-reworkNov 30, 2023
+733-768
Commits
Commits on Nov 29, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Nov 30, 2023
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed