github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-11 15:12:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
51444765f4b225d0658afd1711174642bebab46d
zyedidia.micro/runtime/plugins/comment
History
Zachary Yedidia 621e4e9e4d Slight performance improvement
2020-07-05 15:54:00 -04:00
..
help
…
comment.lua
Slight performance improvement
2020-07-05 15:54:00 -04:00