Correct version number

MikeMcl · Jan 13, 2019 · bde4ac1 · bde4ac1
1 parent 90672e7
commit bde4ac1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/API.html b/doc/API.html
@@ -58,7 +58,7 @@
 
   <div class="nav">
 
-    <b>v9.0.0</b>
+    <b>v8.0.2</b>
 
 	<a class='nav-title' href="#">API</a>