From 90d05cb486dbfc8f8aa6270a34a11c58ba3313ad Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 27 Jan 2021 10:24:34 +0100 Subject: update package --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index 4739f1447..488608716 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 4739f1447d0e8a6534c7fbdbc361d5d756d1875b +Subproject commit 488608716fcd0fa90013f7136cb4bee4822f972d -- cgit v1.2.3