Index of /extensions/SemanticResultFormats/resources/jquery/multiselect

	Name	Last modified	Size	Description
	Parent Directory		-
	jquery.multiselect.js	2020-07-12 16:06	22K
	jquery.multiselect.f..>	2020-07-12 16:06	5.2K
	jquery.multiselect.f..>	2020-07-12 16:06	326
	jquery.multiselect.css	2020-07-12 16:06	1.6K