github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-11 09:30:28 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
a3211dce573c16157144a32c34bbc4e13ee4294e
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
…
comment.lua
plugins/comment: Don't write to b.Settings directly
2024-08-18 21:10:37 +02:00