# HG changeset patch
# User Chris Cannam
# Date 1666360270 -3600
#      Fri Oct 21 14:51:10 2022 +0100
# Node ID b7f4072d02d551ba39e11d95fdeb5478f371076c
# Parent  e1968fca11b007c851d6dfa8d4a52d3ca21b4eca
Bump number in Doxyfile

diff --git a/Doxyfile b/Doxyfile
--- a/Doxyfile
+++ b/Doxyfile
@@ -31,7 +31,7 @@
 # This could be handy for archiving the generated documentation or 
 # if some version control system is used.
 
-PROJECT_NUMBER         = 3.1.0
+PROJECT_NUMBER         = 3.1.1
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) 
 # base path where the generated documentation will be put.