diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-10-27 22:24:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 22:24:43 +0200 |
| commit | 3e26ad3a5f15f88cd9844f81504b7346dd8aa588 (patch) | |
| tree | fc85002abd3f4dcd48b1125c1d437db4a26aba51 /doc/tools/make_rst.py | |
| parent | 3c527dcbbdaa6a92b00c3ccd44c22347f1d3c5bc (diff) | |
| parent | 96fdb030ecbc3aa93041c4cc752d9fc5336e0c67 (diff) | |
Merge pull request #54320 from YeldhamDev/tabbar_close_last_fix
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions