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 99c56b7f98 Delink the build-mini-status if the user is not the repo admin		2015-03-18 15:43:53 -04:00
..
repo-panel-builds.html	Reorder the columns in the builds list	2015-03-18 12:13:07 -04:00
repo-panel-changes.html	Performance improvements for the repo API and the new repo UI	2015-03-18 14:47:53 -04:00
repo-panel-info.html	Delink the build-mini-status if the user is not the repo admin	2015-03-18 15:43:53 -04:00
repo-panel-settings.html	Get the remainder of the repo settings panel working	2015-03-16 17:03:26 -04:00
repo-panel-tags.html	Performance improvements for the repo API and the new repo UI	2015-03-18 14:47:53 -04:00