Commit 7805c1bc52fff7e49bdb945ec3c52000a285a357

Philipp Wiesemann 2015-09-21T21:16:54

Updated configure.in file.