You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

BenDol 1baad726ae Just use g_configs.unload(config) to unload config files. ... Avoids concurrent modification errors.		10 years ago
..
styles	Countwindow Fix [YAH]	11 years ago
widgets	Get rid of trailing whitespace.	10 years ago
gameinterface.lua	Just use g_configs.unload(config) to unload config files.	10 years ago
gameinterface.otui	Closes #210	11 years ago
interface.otmod	Implement rule violations, closes #218	11 years ago