Skip to content
GitLab
Explore
Sign in
World
Tau
Merge requests
!365
feat(tau): only display tabs if more than 1 documents are opened
Code
Review changes
Check out branch
Download
Patches
Plain diff
Rasmus Thomsen
requested to merge
hide-tabs
into
master
Sep 15, 2019
Overview
0
Commits
2
Pipelines
7
Changes
2
Expand
fixes
#363 (closed)
Merge request reports