Beat 8c65fd0c47 * removed duplicated code (#2375) ... * give the search field focus on page load for faster interaction		2017-04-03 20:42:38 +02:00
..
index.html	* removed duplicated code (#2375)	2017-04-03 20:42:38 +02:00