github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 07:00:24 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
v2.0.14-rc1
zyedidia.micro/runtime/plugins/comment
History
Jöran Karl a678d42861 plugins/comment: Don't write to b.Settings directly 
...and use `SetOptionNative()` instead.
2024-08-18 21:10:37 +02:00
..
help
Use // comments for .json (#3388)
2024-07-30 22:58:07 +02:00
comment.lua
plugins/comment: Don't write to b.Settings directly
2024-08-18 21:10:37 +02:00