Index of /extensions/SemanticResultFormats/build/travis

	Name	Last modified	Size	Description
	Parent Directory		-
	install-mediawiki.sh	2020-07-12 16:06	629
	install-semantic-res..>	2020-07-12 16:06	2.1K
	run-tests.sh	2020-07-12 16:06	417