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

	Name	Last modified	Size	Description
	Parent Directory		-
	DistanceFilter.php	2019-08-18 17:55	3.8K
	Filter.php	2019-08-18 17:55	3.5K
	NumberFilter.php	2019-08-18 17:55	2.7K
	ValueFilter.php	2019-08-18 17:55	1.0K