diff options
| author | Andrea Catania <info@andreacatania.com> | 2021-04-16 09:56:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-16 09:56:39 +0200 |
| commit | fd2e652196968add80e41bfcc2562d810527e5b2 (patch) | |
| tree | 4dcc29c06b8a2fe3a5495d6a34849c981ba1ec22 /thirdparty | |
| parent | cba3b024b5d08b79e4389dc2c374e38ab4a64ff9 (diff) | |
Lowers the navigation edge margin merge
Lowers the edge margin merge to avoid merge undesired edges.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions