Merge pull request #1822 from rubenk/write_riemann-indent
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Mon, 1 Aug 2016 15:51:15 +0000 (17:51 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2016 15:51:15 +0000 (17:51 +0200)
write_riemann plugin: reindent


Trivial merge