diff options
Diffstat (limited to 'indenters/uigui_shellindent.ini')
| -rwxr-xr-x | indenters/uigui_shellindent.ini | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/indenters/uigui_shellindent.ini b/indenters/uigui_shellindent.ini index 283f90b..2c36958 100755 --- a/indenters/uigui_shellindent.ini +++ b/indenters/uigui_shellindent.ini @@ -1,17 +1,17 @@ -[header]
-categories=
-cfgFileParameterEnding=" "
-configFilename=
-fileTypes=*.sh
-indenterFileName=shellindent.awk
-indenterName=Shell Code Indent (sh)
-inputFileName=indentinput
-inputFileParameter=
-manual=http://www.bolthole.com/AWK.html
-outputFileName=
-outputFileParameter=stdout
-parameterOrder=pio
-showHelpParameter=
-stringparaminquotes=false
-useCfgFileParameter=
-version=2008-01-10
+[header] +categories= +cfgFileParameterEnding=" " +configFilename= +fileTypes=*.sh +indenterFileName=shellindent.awk +indenterName=Shell Code Indent (sh) +inputFileName=indentinput +inputFileParameter= +manual=http://www.bolthole.com/AWK.html +outputFileName= +outputFileParameter=stdout +parameterOrder=pio +showHelpParameter= +stringparaminquotes=false +useCfgFileParameter= +version=2008-01-10 |