Yan Pritzker 251b84ddb1 Merge pull request #332 from lfilho/better-search-and-jump ... Some more improvements to searching and jumping		2013-05-13 08:13:26 -07:00
..
settings	Merge pull request #332 from lfilho/better-search-and-jump	2013-05-13 08:13:26 -07:00