diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-02-20 15:29:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-20 15:29:33 +0100 |
commit | 851cb429631168369d2a51812de763b658795fbf (patch) | |
tree | b9a9bf3fbc990ccab7a26b412474ae155e969afc /thirdparty/pcre2/src | |
parent | f5bb6d6a7c6d225b15a8022a8511e3918fd02048 (diff) | |
parent | 24b27043fec7ef9a4baf2c5ecab67fc20563b586 (diff) |
Merge pull request #35864 from ofrank123/master
Switched the language server from websockets to TCP
Diffstat (limited to 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions