Jörn Friedrich Dreyer 0e2f51bbb8 fix '' to '/' when determining parent for search result		2014-07-03 16:02:20 +02:00
..
result.js	fix '' to '/' when determining parent for search result	2014-07-03 16:02:20 +02:00