cc9cii 932f1f9fbd Alternative way of finding UniversalId without bloating IdTree.		2015-04-25 15:26:32 +10: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	Alternative way of finding UniversalId without bloating IdTree.	2015-04-25 15:26:32 +10:00