From 5f3d153575e30719770cf38a50aa09bc109adfd2 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 21 Jan 2021 13:33:52 +0100 Subject: update submodules --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index eef86710c..4739f1447 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit eef86710c7deade01361f8985fd9a6fe6a21e8ff +Subproject commit 4739f1447d0e8a6534c7fbdbc361d5d756d1875b -- cgit v1.2.3