diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-30 20:00:30 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-30 20:00:30 +0100 |
commit | 23c889694e4d983dfda4956ae083cf9387316669 (patch) | |
tree | ebc1b799be1c56be0d11c29d6d4f86586bc9310b /.gitignore | |
parent | 745bd45ddb2f8b6165ab7eacfd482d8530cab05a (diff) | |
parent | 1a2d4e2921b5d2bef41adfec56112fd4f6499274 (diff) |
Merge #4153
4153: Add support for incremental text synchronization r=matklad a=lnicola
Fixes #3762.
This still needs a `ra_vfs` PR, but I want to know I'm on the right track. I tested the change and it didn't crash horribly, but YMMV.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions