diff --git a/documentation/version b/documentation/version index b5d9bfd6..ec3d41ad 100644 --- a/documentation/version +++ b/documentation/version @@ -1 +1 @@ -trunk +17.01