Julia de9c58d216 Merge pull request #1983 from zed-industries/multi-buffer-git-gutter ... Multi buffer git gutter		2022-12-19 10:53:42 -05:00
..
buffer.rs
buffer_tests.rs
diagnostic_set.rs
highlight_map.rs
language.rs
outline.rs
proto.rs
syntax_map.rs