diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-31 09:43:58 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-31 09:43:58 +0200 |
| commit | 92e07133731c53689284bea108c91f06bf76b7e3 (patch) | |
| tree | 9cdb64b59c4789fc4b8499c0f4480c078774f002 /LICENSE | |
| parent | ad3e23fa7c4bb2521c860f218dfa0b950285790d (diff) | |
null pointer fix
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions