tree ce3c91bd45bedda42d42e2fdee867ab4f465ea4d
parent 6a48343cd6e392a3ae48dbb735008f911e60420d
author Paul Jakma <paul@jakma.org> 1489020992 +0000
committer Paul Jakma <paul@quagga.net> 1489082636 +0000

doc: Nearly all the world uses A4 paper, set as default for TeX output