[PPL-devel] `space_dim' branch merged back

Dear all,

the `space_dim' branch has been merged back to the main trunk. In order to avoid confusion, the best thing to do is not to use that branch any longer. In any case, I have tagged both the branch and the trunk so that the occasional commit to the dead branch will not be lost. Ciao,

Roberto