Reindent environments

Browse Source

Since the previous commit deliberately avoided reindenting, this one here
does just that: reindenting the existing code.

...

This commit is contained in:

Martin von Gagern 2015-09-10 11:18:11 +02:00

parent 2a31a719ec

commit dae3a14744

1 changed files with 92 additions and 92 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files