| commit | f8495211424fb20f2baa8a2b2b1353be6d9a6aea | [log] [tgz] |
|---|---|---|
| author | tarendt <tarendt> | Wed Oct 03 10:05:14 2012 +0000 |
| committer | tarendt <tarendt> | Wed Oct 03 10:05:14 2012 +0000 |
| tree | a3de492b0c92d109ae649c3638283d7bf137c56c | |
| parent | 4abd405234cd973c6c247b059d61eb8062cc915e [diff] |
instance now of type HenshinGenerationManager