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