DescriptionDoc: add missing engraver to example of a user-defined context (3195)
also generally tidy up this subsection and make some minimal
changes to move towards current documentation standards.
Patch Set 1 #
MessagesTotal messages: 4
|