/patch-man_Makefile_in/1.3/Fri Mar 11 18:50:05 2022//
/patch-man_texinfo2man_c/1.3/Fri Mar 11 18:50:05 2022//
/patch-src_args_c/1.4/Fri Mar 11 18:50:05 2022//
/patch-src_globs_c/1.3/Fri Mar 11 18:50:05 2022//
D
