move local.css into style.css
authorGreg Price <price@mit.edu>
Wed, 11 Feb 2009 08:33:38 +0000 (03:33 -0500)
committerGreg Price <price@mit.edu>
Wed, 11 Feb 2009 08:33:38 +0000 (03:33 -0500)
There might be a coherent distinction to be had here,
but we don't have it.


No differences found