commit | a260d27eee1d371a75a6d6ce79510ebeb2cbef44 | [log] [tgz] |
---|---|---|
author | Jan Bartel <janb@webtide.com> | Tue Feb 27 10:46:09 2018 +1100 |
committer | Jan Bartel <janb@webtide.com> | Tue Feb 27 10:46:09 2018 +1100 |
tree | 18dd2fb6bc4af745a166954fe1cfaa118c7d8bf1 | |
parent | 433ae19d67c0a003af39d0dde67c92773f4f7f1d [diff] |
Ensure name of local repo is jetty-9
diff --git a/settings.xml b/settings.xml index 8364ffa..e451d0b 100755 --- a/settings.xml +++ b/settings.xml
@@ -1,5 +1,5 @@ <settings> - <localRepository>/tmp/jetty-builds/jetty8/localRepo</localRepository> + <localRepository>/tmp/jetty-builds/jetty9/localRepo</localRepository> <interactiveMode>true</interactiveMode> <offline>false</offline> <proxies>