Commit 92ace5f0d4ddf3f5f1d612bb0e5f0f3ade4b5adf Parent fed6a57f30ecdbcf4805b1900dd0f164856c1163 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 12 Jan 2015 20:43:55 -0800 Moved spec2js.js to tools/.