mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-01-10 08:09:26 +01:00
309d0e59f4
ISOProperties no longer needs its hack to refresh the game list, the new INI Modified event can be used instead.