| commit | 62b378d322f9115e4eeae44b579406eafd38bfcc | [log] [tgz] |
|---|---|---|
| author | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Sun Jul 09 23:00:43 2017 +0200 |
| committer | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Sun Jul 09 23:00:43 2017 +0200 |
| tree | 30dd24e32d3c38b051ce5c6b3175f353fb581423 | |
| parent | c8245961bc89970af8f667bdac5cf83ac84e7ce1 [diff] |
Updated generated configure script.