2 Commits

Author	SHA1	Message	Date
Daniel Hofmann	3e479d772b	Closes #8123: Fix plus-handling (+) in search terms for basic html theme search ... Note, that the default splitter will not index +, so this isn't of much of much use, unless the splitter of the search-language is reconfigured.	2020-08-19 18:01:27 +02:00
Timotheus Kampik	5fdf81fe2d	#5186 configure karma ... and add first karma test	2018-07-22 12:27:39 +02:00