Skip to content

better keep track which view space has which doc

Christoph Cullmann requested to merge work/better_doc_tracki into master

allows for proper closing if really only one tab around

Merge request reports