change FREECIV_ENABLE_MANPAGES to an option #2373
Job | Run time |
---|---|
5m 37s | |
0s | |
0s | |
20m 28s | |
12m 4s | |
8m 32s | |
11m 26s | |
9m 59s | |
14m 33s | |
10m 18s | |
9m 44s | |
10m 18s | |
20m 16s | |
16m 17s | |
0s | |
2h 29m 32s |
Job | Run time |
---|---|
5m 37s | |
0s | |
0s | |
20m 28s | |
12m 4s | |
8m 32s | |
11m 26s | |
9m 59s | |
14m 33s | |
10m 18s | |
9m 44s | |
10m 18s | |
20m 16s | |
16m 17s | |
0s | |
2h 29m 32s |