Commit b5f809582e073a3b4cb31a167e03f18145a04249 Parent 7030f3a97cf0777e320e22bf030caa66395d09a6 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 19 Dec 2014 08:14:02 -0800 Fixed whitespace normalization (#245).