user/linus/plop.git/merge, branch erlmerge_sth Linus' plop repository merge_backup: Do not read logorder past what fetched indicates. 2017-02-08T01:08:40+00:00 Linus Nordberg linus@nordu.net 2017-02-08T01:08:40+00:00 c5506779dac2d13ca407ae26f97ba6e6e85a6ad7 






Don't use 'if' after all.
2017-02-08T00:17:08+00:00

Linus Nordberg
linus@nordu.net

2017-02-08T00:17:08+00:00

ce28e5b6ce3adf400b17f34e006426b411332af4

'case' reads better IMO.





'case' reads better IMO.







Use the minsize file.
2017-02-07T16:04:05+00:00

Linus Nordberg
linus@nordu.net

2017-02-07T16:04:05+00:00

ab86700d805fac3ed46e593266f1e8c75b01e63e












Add missing file.
2017-02-07T14:40:32+00:00

Linus Nordberg
linus@nordu.net

2017-02-07T14:40:32+00:00

b18454ba5f4f1da439cde6b6cb37aefc40f3ffbb












Parallelised merge, sth phase.
2017-02-07T13:51:24+00:00

Linus Nordberg
linus@nordu.net

2017-02-07T13:51:24+00:00

1c348ba24f38bed924a45d945c052fb1ccc29780












Add a bit of status and debug printout.
2017-02-06T06:55:45+00:00

Linus Nordberg
linus@nordu.net

2017-02-06T06:55:45+00:00

e6db8a57cb56c7f2c5fdee16cea41c9e4430851e












Parallelised merge, backup phase.
2017-02-02T01:25:42+00:00

Linus Nordberg
linus@nordu.net

2017-02-02T01:25:42+00:00

0070a4f70dd78f1f8aacb0657c741a2c311a7f32












Parallelised merge, distribution phase.
2017-02-01T10:14:41+00:00

Linus Nordberg
linus@nordu.net

2017-01-27T14:11:42+00:00

829ab97fccb991832445862ec8246197a225ecec