Closed jpvelez closed 10 years ago
doc/ will also contain our final writeup once it has been reviewed.
On Aug 26, 2013, at 8:18 PM, Juan-Pablo Velez notifications@github.com wrote:
Doesn't seem to be much here. Please kill this directory.
— Reply to this email directly or view it on GitHub.
Doesn't seem to be much here. Please kill this directory.