summaryrefslogtreecommitdiff
path: root/doc/tools/make_rst.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-09-13 10:58:19 +0200
committerRémi Verschelde <rverschelde@gmail.com>2022-09-13 10:58:19 +0200
commit5c1ef35defa9351118195b364eba18f9defc2d14 (patch)
treec3917c5c8e10f606c04ad3118d72e4e89c05111c /doc/tools/make_rst.py
parent2ac8bcdd1a0b2747c9c523b12d8f66190fe929c6 (diff)
parent6ce0d3a212fbf564ec81073478a68e873456c841 (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