Marc Zinnschlag b9f6baf317 add normal script warnings mode (Fixes #2642)		2015-06-20 19:16:15 +02:00
..
doc	added severity attribute for operation messages (Fixes #2717)	2015-06-20 19:08:31 +02:00
filter	Silence -Wreorder warnings, and remove -Wno-reorder.	2015-05-21 22:46:44 -05:00
settings	add normal script warnings mode (Fixes #2642)	2015-06-20 19:16:15 +02:00
tools	add normal script warnings mode (Fixes #2642)	2015-06-20 19:16:15 +02:00
world	added severity attribute for operation messages (Fixes #2717)	2015-06-20 19:08:31 +02:00