[PPL-devel] `grids' branch merged

Dear all,

the `grids' branch has been merged to the main trunk. This means that the `grids' branch has to be considered closed: work on and around the Grid domain proceeds on the main branch (the Grid domain will be part of PPL 0.9). The build machine cslin150.leeds.ac.uk has consequently been redirected to the main trunk. Cheers,

Roberto