/patch-man_Makefile_in/1.5/Mon Dec 30 18:18:38 2019//
/patch-themes_Makefile_in/1.4/Mon Dec 30 18:18:38 2019//
/patch-src_flippers_c/1.1/Thu Feb  4 16:00:48 2021//
/patch-src_functions_c/1.1/Thu Feb  4 16:00:48 2021//
/patch-src_sawfish_subrs_h/1.1/Thu Feb  4 16:00:48 2021//
/patch-src_windows_c/1.1/Thu Feb  4 16:00:48 2021//
D
