# HG changeset patch # User Tassilo Philipp # Date 1639667583 -3600 # Node ID 237023a0b6f8851e6b7eb91eb775098ecaedacef # Parent 41fe3efec1c05f4f4a23aace0ad4256beca48d54 - version bump in manual diff -r 41fe3efec1c0 -r 237023a0b6f8 doc/manual/manual_title.tex --- a/doc/manual/manual_title.tex Thu Dec 16 16:05:02 2021 +0100 +++ b/doc/manual/manual_title.tex Thu Dec 16 16:13:03 2021 +0100 @@ -17,7 +17,7 @@ % %////////////////////////////////////////////////////////////////////////////// -\newcommand{\dyncallversion}{1.2} +\newcommand{\dyncallversion}{1.3} \newcommand{\titlelogo}{% \begingroup% \setlength{\unitlength}{1mm}%