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/dev/articles/prebuilt | |
| parent | 556598ba543cf655cdc0a6995cc579327f9540ad (diff) | |
Improve mkinmod error message for missing target compartment definition
Closes #6.
Diffstat (limited to 'docs/dev/articles/prebuilt')
0 files changed, 0 insertions, 0 deletions