Julia 2149c17a0a Merge pull request #1768 from zed-industries/git-gutter-meets-code-folding ...

Git gutter meets code folding (and word wrap fixes)

2022-10-17 14:51:47 -04:00

..

diff.rs

Merge pull request #1768 from zed-industries/git-gutter-meets-code-folding

2022-10-17 14:51:47 -04:00

git.rs

Finished refactoring out fs and rope

2022-10-11 15:25:54 -07:00