Hopiu/micro
1
0
Fork 0
mirror of https://github.com/Hopiu/micro.git synced 2026-03-23 01:10:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
micro/runtime/plugins/linter
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
..
linter.lua Slightly speed up search and replace 2017-04-16 10:43:13 -04:00