github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-20 05:50:20 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
a4c3f7dad9eee73c759ea8b1cf1067335e6099d6
zyedidia.micro/runtime/plugins/diff
History
Zachary Yedidia 8224037080 Don't block when redraw channel becomes full 
Fixes #1497
2020-02-11 20:03:32 -05:00
..
diff.lua
Don't block when redraw channel becomes full
2020-02-11 20:03:32 -05:00