github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-18 06:47:14 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
e420872a270e351653f62756cda24892dc1417c9
zyedidia.micro/internal
History
Zachary Yedidia 3b66a3364c Fix some formatting
2019-12-29 22:02:14 -05:00
..
action
Fix some formatting
2019-12-29 22:02:14 -05:00
buffer
Fix some formatting
2019-12-29 22:02:14 -05:00
config
Use MICRO_CONFIG_HOME before trying XDG_CONFIG_HOME
2019-12-28 23:10:51 -05:00
display
Fix some formatting
2019-12-29 22:02:14 -05:00
info
…
lua
…
screen
…
shell
…
util
Improve mouse selection performance
2019-12-28 12:04:43 -05:00
views
…