| commit | 3b9527f59c16a29d4fe0c74565a5ac82a21aed3a | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Apr 18 17:37:19 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Apr 18 17:37:19 2016 +0200 |
| tree | bed1500eb03459c99afa05cfe084a7033cc49dc6 | |
| parent | 8bbc228eb4402eea1087b4e918f44f80a7ad2624 [diff] |
Cleanup of RM model.