mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-11-12 22:25:00 -06:00
A side effect of this is that user INIs now can specify revisions. I don't think anyone will use it, but there's no reason to not allow it.