diff options
| author | RedMser <redmser.jj2@gmail.com> | 2022-09-01 18:11:19 +0200 |
|---|---|---|
| committer | RedMser <redmser.jj2@gmail.com> | 2022-09-05 17:53:28 +0200 |
| commit | fbb9a215070139b9872cc6f57bdd1d5ff17888bb (patch) | |
| tree | 120d2888843337560c70f7f2dfe7f3173ffe48bb /editor/icons/GuiToggleOff.svg | |
| parent | 728785d5328172acd4cc4b182914aea5d234fea4 (diff) | |
Allow searching for annotations in help
Diffstat (limited to 'editor/icons/GuiToggleOff.svg')
0 files changed, 0 insertions, 0 deletions