Marc Zinnschlag 197b8ec731 added severity attribute for operation messages (Fixes #2717)		2015-06-20 19:08:31 +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	added setting for controlling script compiler warnings	2015-06-20 16:21:04 +02:00
tools	added severity attribute for operation messages (Fixes #2717)	2015-06-20 19:08:31 +02:00
world	added severity attribute for operation messages (Fixes #2717)	2015-06-20 19:08:31 +02:00