eregs/regulations-site — pull request #507 by theresaanna (2013-12-20 20:06:16+00:00)
Title: Too many things, sorry

I'll annotate throughout, calling people out so that you can zero in on what you probably care about.

Includes:
- remove Dispatch.js
- add definition loading spinner
- ajax load diffs and search results