Gerard 90a4e5a7d1 #1144 fixed bugs with $destroy		2019-02-15 11:03:27 +01:00
..
search-panel.js	#814 First stable version	2018-12-27 12:54:16 +01:00
searchbar.html	#814 First stable version	2018-12-27 12:54:16 +01:00
searchbar.js	#1144 fixed bugs with $destroy	2019-02-15 11:03:27 +01:00
style.scss	Style fixes	2019-02-06 11:24:29 +01:00