author | Ruben Kerkhof <ruben@rubenkerkhof.com> | |
Mon, 1 Aug 2016 15:51:15 +0000 (17:51 +0200) | ||
committer | GitHub <noreply@github.com> | |
Mon, 1 Aug 2016 15:51:15 +0000 (17:51 +0200) | ||
commit | 1d18c92a85f0265d5fcddf0853b57288e7def20a | |
tree | ae65872e2e407823f140002d2740eb15729cd9dc | tree | snapshot |
parent | 6db4858df797729c9cd87f93555a4d12c9376370 | commit | diff |
parent | 461f414d0ff4e2a5522af089d423a0d75543c1c3 | commit | diff |
Merge pull request #1822 from rubenk/write_riemann-indent
write_riemann plugin: reindent
write_riemann plugin: reindent