tree 4ee2043957a3b6ef693e878e1fabb3b74b19a254
parent 0301a5d77e2436792827fd4966a6c90677e38e40
author tarendt <tarendt> 1349196641 +0000
committer tarendt <tarendt> 1349196641 +0000

class HenshinMetricInfo added