../ patch-Makefile 23-Oct-2026 18:19 1523 patch-external_glpk_glpspx02.c 23-Oct-2026 18:19 484 patch-external_glpk_glpssx01.c 23-Oct-2026 18:19 459 patch-external_whispercpp_Makefile 23-Oct-2026 18:19 368 patch-fon_Sound__audio.cpp 23-Oct-2026 18:19 333 patch-main_main__Praat.cpp 23-Oct-2026 18:19 316 patch-melder_MelderThread.cpp 23-Oct-2026 18:19 588 praat.1 23-Oct-2026 18:19 814