Commit af75d8303c459594df0884204d20b8d8cb443c11 Parent a137b3ea396213374c25563783337a07bd7e076b Author John MacFarlane <jgm@berkeley.edu> Date Fri, 7 Nov 2014 10:39:22 -0800 Moved old bits of Makefile to Makefile.old.