Commit 440a56ba2b12e1c5d068ab6d8a5768d7470d5a31 Parent bfd2170d58f8dde8d5cc86bffe2b9f3bda3c5186 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 25 Nov 2014 11:04:08 -0800 Removed leakcheck.md; regenerate alltests.md with Makefile target.