annotate dottes.tex.firstline-tune @ 739:8e18cc5ef48e

Added tag build-default-284 for changeset 69a7499817c8
author Jenkins Build Manager <jenkins@cryhavoc.org.uk>
date Thu, 12 Oct 2017 16:05:54 +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}