plomino/Plomino — pull request #114 by jean (2012-05-06 08:13:06+00:00)
Title: Recent tweaks & fixes

Sorry, some unrelated work has ended up in this plominoutils_tool branch. I think it's all OK to be merged --- I took out the tool-specific change.