diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-31 09:45:39 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-31 09:45:39 +0200 |
| commit | 6bb7764d723f6fcaba7ec5e85d8404e28ca52fda (patch) | |
| tree | d9b242c00ccbc90057cabcdb804907c63ca4ea9f /docs/obeservations.md | |
| parent | 92e07133731c53689284bea108c91f06bf76b7e3 (diff) | |
null pointer fix
Diffstat (limited to 'docs/obeservations.md')
0 files changed, 0 insertions, 0 deletions