tree a5ab04efa32d732a87ca4319f0d847251b7c6131
parent 5cafc99884d8c8b8ac158566ee3f4b0992c90e66
author Lori A. Burns <lori.burns@gmail.com> 1481644761 -0500
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1481661859 +0100

separate main CMakeLists.txt into Tools file also available upon installation