github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-28 01:40:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
b77b61d677a3fb447ce549825bb7b455234c135a
zyedidia.micro/runtime/plugins/diff
History
Philipp Emanuel Weidmann de33eac058 Add diff gutter
2020-02-08 13:26:24 +05:30
..
diff.lua
Add diff gutter
2020-02-08 13:26:24 +05:30