diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-31 19:26:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-31 19:26:07 +0200 |
commit | a717083235b3369aef9a3846b5071fac023a60b2 (patch) | |
tree | 15b62cd6af96fc61194413693810fea800d9d6e9 /thirdparty/pcre2/src/pcre2_newline.c | |
parent | 4722593448b93e34d84a55010c10770c2d12e223 (diff) | |
parent | 2eb46801cb8122b6767d5d756a4c4e608049694c (diff) |
Merge pull request #10791 from tuga3d/indent-glitch-attempt-2
second attempt on fixing the indent glitch.
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_newline.c')
0 files changed, 0 insertions, 0 deletions