This website requires JavaScript.
Explore
Help
Sign In
github
/
zyedidia.micro
Watch
2
Star
0
Fork
0
You've already forked zyedidia.micro
mirror of
https://github.com/zyedidia/micro.git
synced
2026-02-11 01:20:23 +09:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
8f06e51170ea86bd05065539727f3e8a12f6b6b3
zyedidia.micro
/
runtime
/
help
History
Zachary Yedidia
8f06e51170
Add colorcolumn option
...
Fixes
#333
For example: `> set colorcolumn 80`.
2016-09-07 17:17:51 -04:00
..
colors.md
Add colorcolumn option
2016-09-07 17:17:51 -04:00
commands.md
…
help.md
…
keybindings.md
…
options.md
Add colorcolumn option
2016-09-07 17:17:51 -04:00
plugins.md
…
tutorial.md
…