![[Jenkins]](/static/2beb58b5/images/svgs/logo.svg){kind=logo}
ch.ethz.globis.phtree:phtree-2.8.1.jar
MD5: 8522e095f68479428a2d039cd92be1c1
Introduced 1 mo 7 days ago
outside Jenkins
Usage
This file has been used in the following places:
| Citizens2 | Success-Success |
| Citizens2/net.citizensnpcs:citizens-main | Success-Success |