diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-05-24 16:45:57 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-05-24 16:45:57 +0200 |
commit | 8f35362dad9914cac16f421745a27a1cdd0f02bc (patch) | |
tree | b91b4be2c96d7cc9e141a7cd6af70f93ab617b70 /configure | |
parent | 39cca9f8f6050d6e35c88f8cd3c6e825eae9cb9f (diff) |
style, deduplication and doc comments
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions