From 1be07504d4612e38b3d6360e5b1f0511ea77a7f5 Mon Sep 17 00:00:00 2001 From: github-actions Date: Wed, 13 Aug 2025 15:46:40 +0000 Subject: [PATCH] Deployed 6e227b37 to dev with MkDocs 1.6.1 and mike 2.1.3 --- versions.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/versions.json b/versions.json index 35ec6d96..c6512f15 100644 --- a/versions.json +++ b/versions.json @@ -1,7 +1,7 @@ [ { "version": "dev", - "title": "dev (3ea8d03)", + "title": "dev (6e227b3)", "aliases": [] }, {