From c9d94e55bddf51da7b1d30096a2f717879ce2254 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 8 Aug 2021 22:33:19 +0200 Subject: -add missing man page --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index 979a2530..74d9c44e 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 979a25309ea31a472868df139bb49df81dc4203d +Subproject commit 74d9c44ebc257a3d8b9c2c0a806508bd0cc5269a -- cgit v1.2.3