/patch-Makefile_in/1.2/Sat Mar 12 08:18:21 2022//
/patch-jade_MifFOTBuilder_cxx/1.2/Sat Mar 12 08:18:21 2022//
/patch-jade_TeXFOTBuilder_cxx/1.2/Sat Mar 12 08:18:21 2022//
/patch-msggen_pl/1.2/Sat Mar 12 08:18:21 2022//
/patch-style_MultiLineInlineNote_cxx/1.3/Sat Mar 12 08:18:21 2022//
D
