tree 344f609d619bb0e0a21e251488d2c0c6c22a24d2
parent fed6b3bf726e0c77a8d08d3d2e447a19033a8275
author Philipp Wiesemann <philipp.wiesemann@arcor.de> 1474924174 +0200
committer Philipp Wiesemann <philipp.wiesemann@arcor.de> 1474924174 +0200

Updated configure script.