Giacomo Tesiodropmargin: smarter indentation management.751288911 years agoHistory
8 lines · 181 B · TextRawDownload
 Here end the margin (1 tab)   Here are 2 space more for a second layerHere the margin is replaced by 8 spaces (assuming $tabstop=8)       Here are 5 space more for a third layer