Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make merge dist workers one_for_one. | Linus Nordberg | 2017-02-08 | 1 | -18/+12 |
* | Parallelised merge, distribution phase.erlmerge_dist | Linus Nordberg | 2017-02-01 | 1 | -0/+29 |
index : user/linus/plop.git | ||
Linus' plop repository | Linus Nordberg |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make merge dist workers one_for_one. | Linus Nordberg | 2017-02-08 | 1 | -18/+12 |
* | Parallelised merge, distribution phase.erlmerge_dist | Linus Nordberg | 2017-02-01 | 1 | -0/+29 |