do not autounindent currently, it seems broken
authorTobias Pape <tobias@netshed.de>
Fri, 9 May 2014 13:43:20 +0000 (15:43 +0200)
committerTobias Pape <tobias@netshed.de>
Fri, 9 May 2014 13:43:20 +0000 (15:43 +0200)
commit152136b2217825f9333d3ac17a527d68c3de6f17
treefd3e737a929b7b17b28735424c2b5bbd04b58d2a
parent08c10e1e53859f8d0acc72109593e2464cb3e0aa
do not autounindent currently, it seems broken

``I do not want to by this record, it is scratched''
src/common/configfiles.tex