diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-16 14:47:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-16 14:47:33 +0200 |
| commit | 47c0aff491fc0020a2d5bdd7b4f1804d8d380af9 (patch) | |
| tree | 5a4b2b34ce401f95daff073512b2179b4ce9bdd8 /thirdparty/pcre2/AUTHORS | |
| parent | b4dd1afa74a4ea98ed05707f27b2abd6f5a07334 (diff) | |
| parent | 317f7c91a22215205f2d4ae26724e322b702373f (diff) | |
Merge pull request #22894 from OsamaElHariri/prevent-comment-indent
A colon ending a comment line no longer indents the next line
Diffstat (limited to 'thirdparty/pcre2/AUTHORS')
0 files changed, 0 insertions, 0 deletions