Beat 0e92aacf6e Feature component search (#2275) ... * * added search box to the component overview page. * minor fixes in the javascript * minor fix: spaces		2017-03-17 16:06:42 +01:00
..
index.html	Feature component search (#2275)	2017-03-17 16:06:42 +01:00