summaryrefslogtreecommitdiffstats
path: root/doc/tools/make_rst.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2024-09-23 16:13:56 +0200
committerRémi Verschelde <rverschelde@gmail.com>2024-09-23 16:13:56 +0200
commitc47eb5c3015795fd9ac0db17f5de3b57746c3bf8 (patch)
treed32b01ac57a36deacb976adfdc619d58122935db /doc/tools/make_rst.py
parentf97defb375d524540cb7e7772adce8279d38e5ba (diff)
parent267bb982319c5dbd0c5341bd85f6319b873db6d2 (diff)
downloadredot-engine-c47eb5c3015795fd9ac0db17f5de3b57746c3bf8.tar.gz
Merge pull request #97282 from timothyqiu/force-advanced-settings-when-searching
Keep advanced toggle on when searching for settings
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions