Update DART versions to generate API docs

gazebo-forks · Dec 31, 2022 · 9f2d607 · 9f2d607
1 parent c5b8f0a
commit 9f2d607
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/docs_versions.txt b/.ci/docs_versions.txt
@@ -1,5 +1,5 @@
 DART 6
-main
+v6.13.0
 v6.12.2
 v6.11.1
 v6.10.1