Index of /extensions/SemanticResultFormats/formats/filtered/src/Filters

	Name	Last modified	Size	Description
	Parent Directory		-
	DistanceFilter.php	2020-07-12 16:06	3.8K
	Filter.php	2020-07-12 16:06	3.5K
	NumberFilter.php	2020-07-12 16:06	2.7K
	ValueFilter.php	2020-07-12 16:06	1.0K