104 Commits

Include renames

Author	SHA1	Message	Date
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