log dottes.tex.firstline-tune @ 730:83bffde974c0 build-default-283

age author description
Wed, 11 Oct 2017 18:09:51 +0100 Jim Hague Use full title in printed version.