/patch-man_CMakeLists_txt/1.2/Sat Sep  9 07:18:48 2023//
/patch-src_core_control_settings_LatexSettings_h/1.1/Fri Sep  8 18:53:52 2023//
/patch-src_core_control_settings_Settings_h/1.1/Fri Sep  8 18:53:52 2023//
/patch-CMakeLists_txt/1.3/Wed Apr 17 07:19:42 2024//
/patch-src_util_Stacktrace_cpp/1.3/Wed Apr 17 07:19:42 2024//
/patch-src_core_view_TexImageView_cpp/1.1/Thu Oct 24 19:10:10 2024//
D
