Fri, 08 Feb 2013 22:54:48 +0100 | Mads Kiilerich | profiling: replace '+' markup of nested lines with indentation | changeset | files |
Sun, 10 Feb 2013 04:04:22 -0600 | Augie Fackler | Merge crew and main. | changeset | files |
Sat, 09 Feb 2013 15:51:32 -0800 | Bryan O'Sullivan | merge: don't fiddle with name lookups or i18n in hot loops | changeset | files |
Sat, 09 Feb 2013 15:51:32 -0800 | Bryan O'Sullivan | merge: apply non-interactive working dir updates in parallel | changeset | files |
Sat, 09 Feb 2013 15:51:32 -0800 | Bryan O'Sullivan | worker: allow a function to be run in multiple worker processes | changeset | files |
Sat, 09 Feb 2013 15:51:32 -0800 | Bryan O'Sullivan | worker: partition a list (of tasks) into equal-sized chunks | changeset | files |