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)
commit1d18c92a85f0265d5fcddf0853b57288e7def20a
treeae65872e2e407823f140002d2740eb15729cd9dc
parent6db4858df797729c9cd87f93555a4d12c9376370
parent461f414d0ff4e2a5522af089d423a0d75543c1c3
Merge pull request #1822 from rubenk/write_riemann-indent

write_riemann plugin: reindent