From 0ac7e58410d6966d5c5903b638cae32ca45052d2 Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Tue, 28 Jan 2025 08:20:24 +0100 Subject: [PATCH] Update .gitmodules --- .gitmodules | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitmodules b/.gitmodules index 5d6b1fe..de694bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -41,6 +41,7 @@ [submodule "book/external/annotater"] path = book/external/annotater url = https://github.com/TeachBooks/annotater + branch = manual [submodule "book/external/Sphinx-launch-buttons"] path = book/external/Sphinx-launch-buttons url = https://github.com/TeachBooks/Sphinx-launch-buttons.git