Nathan Sobo ccc276da7a Merge pull request #672 from zed-industries/fix-unfollowing-on-edit ... Automatically unfollow leader only for edits that originate from the follower editor		2022-03-24 13:26:28 -06:00
..
buffer.rs
diagnostic_set.rs
highlight_map.rs
language.rs
outline.rs
proto.rs
tests.rs