Add dropdown menu to show extra figure information#1570
Merged
tunetheweb merged 12 commits intomainfrom Dec 8, 2020
Merged
Commits
Commits on Nov 23, 2020
Commits on Dec 4, 2020
- committed
- committed
Commits on Dec 6, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 8, 2020
- committed
- committed