diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-07 14:39:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-07 14:39:28 +0200 |
| commit | af82dddb8cfb98a4c4656a1bd0be4f837e0b2cd9 (patch) | |
| tree | 002cb403c35c9a8ad7ce1248d6cc4277214c4bc0 /editor | |
| parent | a26efeea4faa3ceefd505217917dc12ebf5f8827 (diff) | |
| parent | e7e7aa7d1205038770ffe677422978d183a6a19f (diff) | |
Merge pull request #48529 from besh81/master
Fixed bug in tab_container with hidden tabs
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions