diff --git a/version.xml b/version.xml index 5768d30..c627ff6 100644 --- a/version.xml +++ b/version.xml @@ -75,7 +75,7 @@ To increment the second-most minor version number - + --with-doctest --exe