From 321bcfbf6f20976ffec5b06558d7c243a0eb893d Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 8 Sep 2023 20:06:27 +0200 Subject: update prebuilt --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/prebuilt b/doc/prebuilt index 1ed97b2..a276ab4 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 1ed97b23f19c80fa84b21a5eb0c686d5491e8ec6 +Subproject commit a276ab43796c1c7dca7d256e19e86c4ef9f3b935 -- cgit v1.2.3