annotate dottes.tex.firstline-tune @ 744:90988e44fd9e

Added tag build-default-285 for changeset 5c1a240cc0fc
author Jenkins Build Manager <jenkins@cryhavoc.org.uk>
date Thu, 12 Oct 2017 19:12:32 +0100
parents e338d757fdca
children ce5c7214f9aa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
729
e338d757fdca Use full title in printed version.
Jim Hague <jim.hague@acm.org>
parents: 588
diff changeset
1 \showfirstline{$name}{$fulltitle}{$graphicsdir/firstline-$name}