bermudi
/
diakonos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:Pistos/diakonos

This commit is contained in:
Pistos 2010-04-21 09:16:48 -04:00
parent 187515c79b 1ae865be0c
commit bfd9a6b415
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
diakonos.conf
View File

@ -1126,11 +1126,11 @@ lang.bash.bangmask #!.*(?:ba)?sh\b
lang.bash.format.default white bold
lang.bash.format.selection inverse
lang.bash.format.found yellow inverse
lang.bash.indent.size 4
lang.bash.indent.size 2
lang.bash.indent.auto true
lang.bash.indent.roundup true
#lang.bash.indent.using_tabs true
lang.bash.tabsize 4
lang.bash.tabsize 2
lang.bash.tokens.comments (^\s*#.*)
lang.bash.tokens.comments.format = lang.shared.tokens.comments.format
lang.bash.comment_string "# "