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