Show dataset name or explorative tracing name in webknossos tab title#4767
Merged
grittaweisheit merged 7 commits intomasterfrom tab-titleAug 19, 2020
+43
Commits
Commits on Aug 14, 2020
Commits on Aug 17, 2020
Commits on Aug 19, 2020
- authored
- committed
- committed