Manually update versions.js.

JuliaPlanners · Aug 12, 2023 · 7ca9630 · 7ca9630
1 parent c855f04
commit 7ca9630
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/versions.js b/versions.js
@@ -1,8 +1,8 @@
 var DOC_VERSIONS = [
   "stable",
-  "v1.14",
+  "v1.15",
   "v0.1",
   "dev",
 ];
-var DOCUMENTER_NEWEST = "v01.14";
+var DOCUMENTER_NEWEST = "v01.15";
 var DOCUMENTER_STABLE = "stable";