From 9f081d28d73357af41ae469028f0ef7548071a48 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 18 May 2023 08:48:50 +0200 Subject: -update doc/prebuilt --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index 5b8e06dc..66e99d09 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 5b8e06dc0a9d17b5b2646fdb1286a3b797ed019e +Subproject commit 66e99d09d4351bb6e6c5fd442f14ec7cf1363a81 -- cgit v1.2.3