From 53fb5b1cdf3f2367e14ce211329268ef8c38bb6d Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sat, 10 Feb 2024 17:07:05 +0100 Subject: bump doc/prebult --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/prebuilt b/doc/prebuilt index 14e26d5fe..300a46934 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 14e26d5fe2c0ceed27e27d8c79db14775ddfd796 +Subproject commit 300a469342ba879b16ff93aaaf170fa1b88e75fb -- cgit v1.2.3