Scott Olson 0f533e3ae0 report: Remove redundant commented-out paragraph.		2016-04-28 04:13:26 -06:00
..
latexmkrc	Rename paper to report.	2016-04-09 22:24:17 -06:00
miri-report.tex	report: Remove redundant commented-out paragraph.	2016-04-28 04:13:26 -06:00