diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-29 14:08:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-29 14:08:31 +0200 |
| commit | 65aacd6b0af7d6fd7cc2f8b9d032bc130d0860fb (patch) | |
| tree | 9e31bdc13ce54e170518225f3dd55e4e44efdfc5 /doc | |
| parent | 700ca5bb3c934df6aeecc280ea2741cbabd51f7a (diff) | |
| parent | 925e54ad65d30eb1eecdde31502dd554bf00bce7 (diff) | |
Merge pull request #60519 from nathanfranke/fix-newline-indent
fix lines with ':' that end in comments causing auto indent
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions