Joao e8acbc3ad9 Adding support to choose separately the langage of search and the one for the interface (allowing a default givent by google).		2020-06-18 02:48:31 +02:00
..
display.html	Session refactoring and improved filter (#86)	2020-06-11 13:38:51 -06:00
error.html	Fixed bug in nojs config setting, updated pages to use new favicon and proper headers	2020-04-07 14:12:16 -06:00
header.html	Session refactoring and improved filter (#86)	2020-06-11 13:38:51 -06:00
index.html	Adding support to choose separately the langage of search and the one for the interface (allowing a default givent by google).	2020-06-18 02:48:31 +02:00
opensearch.xml	Feature: autocomplete/search suggestions (#72)	2020-05-24 14:03:11 -06:00