diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-29 22:54:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-29 22:54:03 +0200 |
| commit | 0eff2efe33d61a9d26411a3a9a0d5172292a51cc (patch) | |
| tree | 48e7fb500cb6a4541d35cf2ab69b8323da089a97 /modules/gridmap | |
| parent | dc6d95f4a1799f9fdf72b784476c0a50752b5ff8 (diff) | |
| parent | f08eead3a2d106fe6f45ca7f759763b6f213e306 (diff) | |
Merge pull request #22540 from Paulb23/fold_blank_lines_issue_15689
Fix code folding taking into account empty lines, issue 15689
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions