Commit ca1d9cc65eef62e053a86c912a190a6202ab8252 Parent a37980f46cb13b1178c685f6eb17d9964b026b9c Author John MacFarlane <jgm@berkeley.edu> Date Mon, 1 Dec 2014 20:47:32 -0800 Travis: we no longer need doxygen.