Commit fb3dcc42bddd0f23c32a243d532a96f663ed243e Parent 423de04c79ec06f0bdfeb0d5087fbb88071a6b92 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 7 Nov 2014 08:23:39 -0800 Reformatted src/CMakeLists.txt.