Jakob Borg
|
6f750582dd
|
Short benchmark test only by default
|
2014-09-28 07:55:12 +02:00 |
|
Jakob Borg
|
5f93fbd471
|
Genfiles should be random by default
|
2014-09-28 07:31:53 +02:00 |
|
Jakob Borg
|
99427d649e
|
Complete rewrite of the puller (fixes #638, fixes #715, fixes #701)
|
2014-09-27 21:51:08 +02:00 |
|
Jakob Borg
|
7bc4589d4d
|
Simple reproducible syncing benchmark
|
2014-09-27 21:13:04 +02:00 |
|
Jakob Borg
|
14817e31f6
|
Move top level packages to internal.
|
2014-09-27 09:42:10 +02:00 |
|