../ patch-configure 19-Jun-2023 20:03 1290 patch-scripts__wget.pl 19-Jun-2023 20:03 317 patch-src_menu.c 19-Jun-2023 20:03 739 patch-src_misc.c 19-Jun-2023 20:03 485 patch-src_previews.c 19-Jun-2023 20:03 955 patch-src_rootmenu.c 19-Jun-2023 20:03 405 patch-src_themebrowser.c 19-Jun-2023 20:03 1876 patch-src_window.c 19-Jun-2023 20:03 860 patch-src_wmconfig.c 19-Jun-2023 20:03 1052