Build mkgmap/mkgmap #537
Commit: 4180 by gerd
Branch: trunk
Time: 27 Apr 2018, 5:52 a.m.
Branch: trunk
Time: 27 Apr 2018, 5:52 a.m.
Passed
Total time: 10 min
Total time: 10 min
-
java=jdk8, python=defaultPassed8 min
-
java=openjdk8, python=defaultPassed2 min 9 sec