jenkins-bot has submitted this change and it was merged. Change subject: update the files ......................................................................
update the files Change-Id: Ia088f164be44194575ba045e9391742e74f89f64 --- M docs/getting-started.md 1 file changed, 4 insertions(+), 1 deletion(-) Approvals: Smalyshev: Looks good to me, approved jenkins-bot: Verified diff --git a/docs/getting-started.md b/docs/getting-started.md index 7b5cd85..1460a61 100644 --- a/docs/getting-started.md +++ b/docs/getting-started.md @@ -25,9 +25,12 @@ ``` . -├── blazegraph +├── blazegraph-service-0.0.2-dist.war +├── docs +├── gui ├── jetty-runner-9.2.9.v20150224.jar ├── lib +├── munge.sh ├── runBlazegraph.sh ├── runUpdate.sh └── RWStore.properties -- To view, visit https://gerrit.wikimedia.org/r/224727 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia088f164be44194575ba045e9391742e74f89f64 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/rdf Gerrit-Branch: master Gerrit-Owner: Smalyshev <[email protected]> Gerrit-Reviewer: Smalyshev <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
