Simon Brooke 733bc7768d Do parallel mapping over rows. ... Not that it will make much difference, but performance on this is currently very poor.		2024-04-11 15:26:05 +01:00
..
walkmap	Do parallel mapping over rows.	2024-04-11 15:26:05 +01:00