Eduardo Bart 717832b791 Other minor fixes		2013-02-04 19:40:12 -02:00
..
styles	Few minor fixes.	2013-01-22 13:40:46 +13:00
widgets	Fix #166	2013-01-25 18:51:14 -02:00
gameinterface.lua	Other minor fixes	2013-02-04 19:40:12 -02: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