Marc Zinnschlag f7c7aeecb3 fixed missing state update when starting a global search		2015-04-21 14:44:51 +02:00
..
doc	fixed missing state update when starting a global search	2015-04-21 14:44:51 +02:00
filter	fix -Wnewline-eof warnings	2015-03-11 10:54:45 -04:00
settings	added search-related user settings	2015-03-30 22:30:33 +02:00
tools	Merge branch 'replace'	2015-04-16 20:11:25 +02:00
world	TopicInfos result script are now displayed in dialogue subviews.	2015-04-19 13:31:16 +10:00