diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-23 16:13:56 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-23 16:13:56 +0200 |
commit | c47eb5c3015795fd9ac0db17f5de3b57746c3bf8 (patch) | |
tree | d32b01ac57a36deacb976adfdc619d58122935db /doc/tools/make_rst.py | |
parent | f97defb375d524540cb7e7772adce8279d38e5ba (diff) | |
parent | 267bb982319c5dbd0c5341bd85f6319b873db6d2 (diff) | |
download | redot-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