From 9bd7c5751a4469f6b9b98b8a1eaab0d21a7121a4 Mon Sep 17 00:00:00 2001 From: Arne Welzel Date: Mon, 18 Mar 2024 09:40:26 +0100 Subject: [PATCH] Update doc submodule For spicy-pygments.py sync. --- doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc b/doc index a071940251..a9ad06f0a2 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit a07194025110e36fe7255afb5edc16e921a8bb95 +Subproject commit a9ad06f0a2f03adf498d3028a70c3abb63f8ae23