From d41523315cd32e6828a325051202ed51661fb309 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 22 Apr 2026 14:28:23 +0000 Subject: [PATCH] Deployed 091618c5 to dev with MkDocs 1.6.1 and mike 2.2.0 --- dev/developers-guide/index.html | 53 +++++++++++++-- dev/discovery/index.html | 2 +- dev/img/windows-ipv6-ping-reply.png | Bin 0 -> 117993 bytes dev/search/search_index.json | 2 +- dev/sitemap.xml | 100 ++++++++++++++-------------- dev/sitemap.xml.gz | Bin 522 -> 521 bytes 6 files changed, 100 insertions(+), 57 deletions(-) create mode 100644 dev/img/windows-ipv6-ping-reply.png diff --git a/dev/developers-guide/index.html b/dev/developers-guide/index.html index c379e144..ade5e807 100644 --- a/dev/developers-guide/index.html +++ b/dev/developers-guide/index.html @@ -2073,6 +2073,17 @@