github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-21 08:17:15 +09:00
Code Issues Packages Projects Releases Wiki Activity

Add indent character option

Browse Source
This commit is contained in:
Camille Scholtz
2016-05-17 17:17:18 +02:00
parent 5ba6ff042c
commit a0d4123731
6 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/help.md
View File

@@ -178,6 +178,10 @@ Here are the options that you can set:
default value: `4`
* `indentchar`: sets the indention chacrater
default value: `|`
* `syntax`: turns syntax on or off
default value: `on`