Marc Zinnschlag b83f9445a9 added UI for merge tool (merge tool itself is still missing)		2015-08-06 12:52:10 +02:00
..
doc	added UI for merge tool (merge tool itself is still missing)	2015-08-06 12:52:10 +02:00
filter	Silence -Wreorder warnings, and remove -Wno-reorder.	2015-05-21 22:46:44 -05:00
settings	Update to upstream/master. Resolve merge conflicts	2015-07-27 13:54:13 +03: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-bug-2728'	2015-07-27 11:23:49 +02:00