From ce17788c4e00ada0cda61947c4aadd8378d3fc9e Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Thu, 8 Oct 2020 21:15:16 +0530 Subject: update submodule doc/prebuilt --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index 0f9a3b59a..eef86710c 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 0f9a3b59aa49f46771c10a3d30528034ad49b3a8 +Subproject commit eef86710c7deade01361f8985fd9a6fe6a21e8ff -- cgit v1.2.3