Fix version in doxygen config

diff --git a/Doxyfile b/Doxyfile
index 6042e5a14636a87b4f0eff0b0c37379ce1603961..add8e4fcba3d455f01e4b95fa8080ded2d0f9b5d 100644 (file)
--- a/Doxyfile
+++ b/Doxyfile
@@ -42,7 +42,7 @@ PROJECT_NAME           = "RRT*"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = 0.12.0
+PROJECT_NUMBER         = 0.13.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a