annotate dottes.tex.firstline-tune @ 731:bb4aa5799d91

Added tag build-default-283 for changeset 83bffde974c0
author Jenkins Build Manager <jenkins@cryhavoc.org.uk>
date Wed, 11 Oct 2017 23:14:30 +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}