diff options
| author | Jonas Schievink <[email protected]> | 2020-06-17 20:41:07 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-06-17 20:41:07 +0100 |
| commit | 4d6d7aec50e81d2d6da01e4f4fc1353430e79067 (patch) | |
| tree | b5192e25fd56dbfc3c289a5d117b1e0d5c8622ba /docs/user/manual.adoc | |
| parent | 1ce8c2b5a08949e78de7ff9dfbae594f6c17b951 (diff) | |
Avoid all unchecked indexing in match checking
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions