diff options
author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 21:25:28 +0100 |
---|---|---|
committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 21:25:28 +0100 |
commit | 079712060c2a61515867e97ffb98c7c4e88e0d5a (patch) | |
tree | 58d39fd3dd67f6ba51bd7e7d6d6c657d24e77737 /libs | |
parent | bbfe102e91a4c708134228ce195497f8fe6446ff (diff) |
otr safety guard
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions