diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-30 12:27:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-30 12:27:41 +0100 |
| commit | debb67918e8644b975a929c0bdeff7922364f314 (patch) | |
| tree | 51d07d30f483f0e66383faf8418c51820c76aef3 /doc/tools/doc_merge.py | |
| parent | f6f38ac08621753e9f0f5cc5f75164abacdfb817 (diff) | |
| parent | 8a588343db2a061abcb5f28c0b94828f2de7ce90 (diff) | |
Merge pull request #43173 from volzhs/fix-tab-container
Fix crash in TabContainer in case of no content at all
Diffstat (limited to 'doc/tools/doc_merge.py')
0 files changed, 0 insertions, 0 deletions