../ patch-aa,v 17-Apr-2024 14:22 7904 patch-configure,v 17-Apr-2024 14:22 7525 patch-inc_config.hpp,v 17-Apr-2024 14:22 7103 patch-inc_preferencesdialog.hpp,v 17-Apr-2024 14:22 6655 patch-src_gselector_cpp,v 17-Apr-2024 14:22 7900