github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-17 06:17:12 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
591e5e31452328208cd0345d5678a11a3c8912d9
zyedidia.micro/runtime/plugins
History
Zachary Yedidia 8168a75bde Slightly speed up search and replace 
This commit also adds a linter for literate
2017-04-16 10:43:13 -04:00
..
autoclose
Update autoclose
2017-02-23 22:20:33 -05:00
ftoptions
…
linter
Slightly speed up search and replace
2017-04-16 10:43:13 -04:00