diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-09 16:15:05 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-09 16:15:05 +0100 |
commit | 652f58915d56aa225fc01bff007f19f3277eed9f (patch) | |
tree | 4ce6cd1a3edd08b15e9b260ec1a2d2c14635bc68 /docs | |
parent | 556598ba543cf655cdc0a6995cc579327f9540ad (diff) |
Improve mkinmod error message for missing target compartment definition
Closes #6.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions