diff options
| author | Valerij Fredriksen <freva@users.noreply.github.com> | 2017-10-17 09:28:35 +0200 |
|---|---|---|
| committer | Andreas Eriksen <andreer@pvv.ntnu.no> | 2017-10-17 09:28:35 +0200 |
| commit | bfde0975c255eb0c3378d2bf78fc6806cebbabac (patch) | |
| tree | 307780577c3a5e5e8f0c69f3040e289b95d79699 /pom.xml | |
| parent | 3d6d4657c5fad4a18d821d914726596475dd1ba7 (diff) | |
Serverpool in ZK (#3764)
* Serverpool in ZK
* Change timeouts
Diffstat (limited to 'pom.xml')
0 files changed, 0 insertions, 0 deletions