diff options
| author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2018-01-24 09:57:21 +0100 |
|---|---|---|
| committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2018-01-24 09:57:21 +0100 |
| commit | b654527590df0c75db30392ef58eb2d196cf66b1 (patch) | |
| tree | 6bcce93ff7f5ec6d747214b3b67b18442c4f0e68 /bin/gui | |
| parent | d0b168ed218194f239799a5f6785be506c793215 (diff) | |
| download | uca-b654527590df0c75db30392ef58eb2d196cf66b1.tar.gz uca-b654527590df0c75db30392ef58eb2d196cf66b1.tar.bz2 uca-b654527590df0c75db30392ef58eb2d196cf66b1.tar.xz uca-b654527590df0c75db30392ef58eb2d196cf66b1.zip | |
Abort construction if props cannot be parsed
Diffstat (limited to 'bin/gui')
0 files changed, 0 insertions, 0 deletions