diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-30 11:05:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-30 11:05:09 +0200 |
| commit | 4f10a08d1bc93c4fc81e4ebc7293c5a748e03424 (patch) | |
| tree | 15db2872377e65d37751752dbe718e573ea249dc /doc/tools/makerst.py | |
| parent | 6e1b8b07b93e30ac09175cfcc7001d3aba5685cf (diff) | |
| parent | c7fbc63cc23dc1f62e92dca3abab477f425d22e3 (diff) | |
Merge pull request #27796 from Leytak/patch-2
Reset button state on exit tree
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions