]> git.lizzy.rs Git - micro.git/commit
Merge branch 'diff-gutter' of https://github.com/p-e-w/micro
authorZachary Yedidia <zyedidia@gmail.com>
Mon, 10 Feb 2020 05:28:43 +0000 (00:28 -0500)
committerZachary Yedidia <zyedidia@gmail.com>
Mon, 10 Feb 2020 05:28:43 +0000 (00:28 -0500)
commitbdf9e6d3a4d8c60b491d724ff0c107b2be68e076
tree89b132bde5d5f00c796306c7b1b217409eda142b
parent3ed77dbb2e8db2b901e9e0c22dbb72104fd963c5
parentde33eac058d571e1c74e183b9913601b6d0a613f
Merge branch 'diff-gutter' of https://github.com/p-e-w/micro
internal/action/actions.go
internal/action/infopane.go
internal/buffer/buffer.go
internal/config/runtime.go
internal/config/settings.go
runtime/help/keybindings.md
runtime/help/options.md