diff docend.A5.tex @ 1052:9bce84b2314e build-default-380

Use same end bar ending as used elsewhere in the Booke.
author Jim Hague <jim.hague@acm.org>
date Tue, 30 Jun 2020 20:25:32 +0100
parents 0f31ce23d2e5
children
line wrap: on
line diff