From 87bc5495e58154d4bc88bb2194e07d4064f2ed6f Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 28 Apr 2021 00:21:26 +0200 Subject: update prebuild docs --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index c9d78ec0f..613c6b04b 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit c9d78ec0f5c5935616cb12206bd616a0966ab0af +Subproject commit 613c6b04b3c36223ef82e84a4bbae63c2d7c9734 -- cgit v1.2.3