diff options
| author | Jon Marius Venstad <jvenstad@yahoo-inc.com> | 2019-01-23 09:47:11 +0100 |
|---|---|---|
| committer | Jon Marius Venstad <jvenstad@yahoo-inc.com> | 2019-01-23 09:47:11 +0100 |
| commit | 6e178b644d0c786783e8e76f1b57a17999eaab18 (patch) | |
| tree | 475978b6bf77952cb0808e199c340e01832bd84d /jdisc_jetty | |
| parent | 65f9fad6f9255e693d3537620bbaac4d2443f9a3 (diff) | |
Use major from deployment.xml when deploying to dev/perf
Diffstat (limited to 'jdisc_jetty')
0 files changed, 0 insertions, 0 deletions