% This file is generated by ../tools/getversioninfo;
% do not edit manually.

\release{2.4.2}
\setreleaseinfo{mpdb}
\setshortversion{2.4}
