/patch-board3d_font3dOGL_c/1.1/Tue Nov 22 13:00:31 2022//
/patch-board3d_font3d_c/1.3/Tue Nov 22 18:17:12 2022//
/patch-board3d_fun3d_h/1.1/Tue Nov 22 13:00:31 2022//
/patch-configure/1.3/Tue Nov 22 18:17:12 2022//
/patch-doc_Makefile_in/1.3/Tue Nov 22 18:17:12 2022//
/patch-render_c/1.3/Tue Nov 22 18:17:12 2022//
D
