zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-18 23:05:40 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
68d88b571d
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