Merge pull request #1466 from rubenk/write_riemann-remove-unneeded-include
authorRuben Kerkhof <ruben@tilaa.nl>
Sun, 13 Dec 2015 11:37:17 +0000 (12:37 +0100)
committerRuben Kerkhof <ruben@tilaa.nl>
Sun, 13 Dec 2015 11:37:17 +0000 (12:37 +0100)
commitda41d78da52ede7d9336534424807a9553eeb436
tree3f932727960a50eeea2e7528e9ed6f555b77dffe
parent2173cab03611ed0477e0be328060cf4621046f7b
parent3b6d785ff609274adc1dca80dd8b6e0832543e80
Merge pull request #1466 from rubenk/write_riemann-remove-unneeded-include

write_riemann: remove unneeded include