diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-13 10:58:19 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-13 10:58:19 +0200 |
commit | 5c1ef35defa9351118195b364eba18f9defc2d14 (patch) | |
tree | c3917c5c8e10f606c04ad3118d72e4e89c05111c /doc/tools/make_rst.py | |
parent | 2ac8bcdd1a0b2747c9c523b12d8f66190fe929c6 (diff) | |
parent | 6ce0d3a212fbf564ec81073478a68e873456c841 (diff) |
Merge pull request #65262 from bruvzg/win10_dm
Disable dark mode title bar on Windows 10.
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions