From e49f098fff4dcedcf6ce85485a176ac7a4cc19bf Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 3 Nov 2022 23:46:18 +0100 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 4739f144..8452f991 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 4739f1447d0e8a6534c7fbdbc361d5d756d1875b +Subproject commit 8452f991dd967328207fab52a99beb19e2cb4dff -- cgit v1.2.3