Index of /extensions/SemanticResultFormats/build/travis

	Name	Last modified	Size	Description
	Parent Directory		-
	install-mediawiki.sh	2019-08-18 17:55	629
	install-semantic-res..>	2019-08-18 17:55	2.1K
	run-tests.sh	2019-08-18 17:55	417