diff options
| author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-02-10 14:37:22 +0100 |
|---|---|---|
| committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-02-10 14:37:22 +0100 |
| commit | 00fe26ba32397170225a1346c77c2b24ce6b49d5 (patch) | |
| tree | 4861c0deff0385dee874d6937d2b78a7bb2f3360 /bin/tools | |
| parent | 84221d69f0bab92d578d50d1fdd8352be5a59019 (diff) | |
| download | uca-00fe26ba32397170225a1346c77c2b24ce6b49d5.tar.gz uca-00fe26ba32397170225a1346c77c2b24ce6b49d5.tar.bz2 uca-00fe26ba32397170225a1346c77c2b24ce6b49d5.tar.xz uca-00fe26ba32397170225a1346c77c2b24ce6b49d5.zip | |
Use platform check to find correct plugin
Diffstat (limited to 'bin/tools')
0 files changed, 0 insertions, 0 deletions