Revision 0df2ea9abb1e0e35c1d20344bee5acb5a6c47f7c

Committed on 06/12/2019 1:32 am by Bertrand Dunogier <bertrand.dunogier@ez.no> [GitHub Diff]

Minor fixes to doc/howto/customize_rendering.md