github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-26 02:17:05 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
a915cf92833dde7e7e85f78ec7a2fd3723b93f97
zyedidia.micro/internal
History
Zachary Yedidia a915cf9283 Fix '> save' command
2020-05-28 13:02:09 -04:00
..
action
…
buffer
…
config
Allow divider customization with divchars option
2020-05-21 14:35:54 -04:00
display
Allow divider customization with divchars option
2020-05-21 14:35:54 -04:00
info
Fix '> save' command
2020-05-28 13:02:09 -04:00
lua
…
screen
Fix dropped redraw events (#1675)
2020-05-23 14:59:23 -04:00
shell
…
util
…
views
…