Commit 4e4fd5b6c34d828725994b7f444e18fcf3f85589

Bruno Haible 2009-11-04T09:07:54

Make num_processors more flexible and consistent.