diff options
author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2013-12-21 22:14:03 +0100 |
---|---|---|
committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2013-12-21 22:14:03 +0100 |
commit | bbf373bbe9306c701c2488bb6ea05600cf63239e (patch) | |
tree | 665909d9bcc9a19f5e88520699ca74d198af74cd /CMakeLists.txt | |
parent | 1200bd2ef088da242b8e0d34cb189a36e8754336 (diff) |
Applied patch from Richard JW Roberts, resolving bug #704
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions