new patch type, more aggressive patching
[ginge.git] / dist / ginge.ini
2011-10-31 notazadd forgotten dist changes