log dottes.tex.tune @ 729:e338d757fdca

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