mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-30 06:37:14 +09:00
Rename indent-line to indent-char, change default value from | to
This commit is contained in:
@@ -180,7 +180,7 @@ Here are the options that you can set:
|
||||
|
||||
* `indentchar`: sets the indentation character
|
||||
|
||||
default value: `|`
|
||||
default value: ` `
|
||||
|
||||
* `syntax`: turns syntax on or off
|
||||
|
||||
|
||||
Reference in New Issue
Block a user