tree 8aea10aad88f039905cd297382262c1663b89a39
parent b670b77060dee2bd2d2690efeb0c5777ee0a75be
author Wenzel Jakob <wenzel@inf.ethz.ch> 1453249604 +0100
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1453249604 +0100

minor cmake doc improvements