diff options
| author | kobewi <kobewi4e@gmail.com> | 2022-09-10 19:34:26 +0200 |
|---|---|---|
| committer | kobewi <kobewi4e@gmail.com> | 2022-09-10 19:34:26 +0200 |
| commit | 7fc075d235df742728c04b19690ba8485c9d8bec (patch) | |
| tree | 355b105ab3a3e5d8c427636da89c106bc1dbf286 /doc/tools | |
| parent | 461037203cc0ec4f8a59422163b37e29e125d5fc (diff) | |
Prevent infinite loops in editor help search
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions