This repository has been archived on 2020-03-24. You can view files and clone it, but cannot push or open issues or pull requests.

Joseph Schorr 8cb177128b Fixes to the new repo and build status: ... - make the new repo icon gray - have the build status properly center (this is a hack, unfortunately) - have the build status update when open		2013-10-28 13:09:22 -04:00
..
build-status.html	Fixes to the new repo and build status:	2013-10-28 13:09:22 -04:00
repo-circle.html	Fix repo circle positioning by changing to absolute sizes everywhere	2013-10-24 17:51:09 -04:00