Index of /extensions/SemanticResultFormats/build/travis

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