aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-12-09 16:15:05 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2015-12-09 16:15:05 +0100
commit652f58915d56aa225fc01bff007f19f3277eed9f (patch)
tree4ce6cd1a3edd08b15e9b260ec1a2d2c14635bc68 /.gitignore
parent556598ba543cf655cdc0a6995cc579327f9540ad (diff)
Improve mkinmod error message for missing target compartment definition
Closes #6.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint