diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-03 15:24:11 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-03 15:24:11 +0200 |
| commit | 10f71c53c832c55e705901b75abbb03b90da4e26 (patch) | |
| tree | d74ea48fc6527fb55dfbaab3fba4d50508ee8c7f /libs | |
| parent | b91c9afe4badb9c352f71e5b7d12f7517c626482 (diff) | |
increased version and fixed one last null pointer
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions