diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-19 22:01:54 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-19 22:01:54 +0200 |
| commit | e696360a1b25339e7a7dd2434e17f052d934c73d (patch) | |
| tree | 3817e0cb2439a7a858963bab03f5580be359f73e /editor | |
| parent | 82961dda3dbc2707777741711daf592094f0738f (diff) | |
| parent | 1937e030b59e08572d9e275183df8b65fdfd9393 (diff) | |
Merge pull request #63653 from fabriceci/increase-max-collisions
Increases the number of maximum detected collisions
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions