| commit | 832a0b8d97acd10b5a259d42db9e1bf56f1b4afd | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Jul 11 16:08:35 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Jul 11 16:08:35 2017 +0200 |
| tree | 7b54b66d0a26e0167a76fda20f6f41b4231405e8 | |
| parent | 937f153f4d00ed408bbc59a736cd8f923c4eb94f [diff] |
Fix: Be more robust if OS ports do not exist in the model