From df5bd3f319c7cc9503c104e0875a46c47450e94f Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Mon, 16 Dec 2024 14:34:57 +0100 Subject: [PATCH] Update Sphinx-launch-buttons --- book/external/Sphinx-launch-buttons | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/external/Sphinx-launch-buttons b/book/external/Sphinx-launch-buttons index ae75d29..997c7a4 160000 --- a/book/external/Sphinx-launch-buttons +++ b/book/external/Sphinx-launch-buttons @@ -1 +1 @@ -Subproject commit ae75d29e6bf1e480967ff4edf69a67c05770bbbe +Subproject commit 997c7a440885ac881dbe606019aa17e332a4932b