/patch-external_tinygettext_CMakeLists_txt/1.2/Tue Apr 18 17:13:32 2017//
/patch-external_squirrel_squirrel_sqvm_cpp/1.1/Tue Sep 11 14:46:14 2018//
/patch-external_squirrel_CMakeLists_txt/1.3/Mon Feb  4 18:15:03 2019//
/patch-src_supertux_main_cpp/1.3/Thu Feb 28 17:42:53 2019//
/patch-CMakeLists_txt/1.5/Mon May 17 17:17:43 2021//
/patch-src_video_texture_manager_cpp/1.1/Mon May 17 16:09:33 2021//
D
