| commit | bac11a91c4dfa34966a13838ab58dded23b6591b | [log] [tgz] |
|---|---|---|
| author | tarendt <tarendt> | Thu Nov 22 14:20:27 2012 +0000 |
| committer | tarendt <tarendt> | Thu Nov 22 14:20:27 2012 +0000 |
| tree | cf0a41432c134721d9aa4c6da013c3e9a53872e9 | |
| parent | c2a057199734bb6d49994b09e01198d6dcca23f8 [diff] |
manager class HenshinRuntimeManager added