BenDol 1baad726ae Just use g_configs.unload(config) to unload config files. ... Avoids concurrent modification errors.		2014-04-06 15:29:02 +12:00
..
styles	Countwindow Fix [YAH]	2013-04-12 19:15:28 +02:00
widgets	Get rid of trailing whitespace.	2014-01-18 15:09:26 +01:00
gameinterface.lua	Just use g_configs.unload(config) to unload config files.	2014-04-06 15:29:02 +12:00
gameinterface.otui	Closes #210	2013-01-25 17:26:51 -02:00
interface.otmod	Implement rule violations, closes #218	2013-01-27 07:54:50 -02:00