Marc Zinnschlag 8763a3b3c3 make compilation delay configurable via a user setting		2015-07-18 15:32:38 +02:00
..
doc	refactored mapping from message severity enum to string	2015-07-16 14:46:02 +02:00
filter	Silence -Wreorder warnings, and remove -Wno-reorder.	2015-05-21 22:46:44 -05:00
settings	make compilation delay configurable via a user setting	2015-07-18 15:32:38 +02:00
tools	refactored mapping from message severity enum to string	2015-07-16 14:46:02 +02:00
world	Merge remote-tracking branch 'smbas/fix-cell-creating'	2015-07-05 20:43:59 +02:00