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.

Jimmy Zelinskie 93cd459460 Merge branch 'master' into git		2015-04-20 10:58:49 -04:00
..
repo-panel-builds.html	Merge branch 'master' into git	2015-04-16 17:38:35 -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	Clarify pull text	2015-03-19 15:10:16 -04:00
repo-panel-settings.html	Add new co-alert CSS styles and fix some other UI issues	2015-04-03 17:47:39 -04:00
repo-panel-tags.html	Add ability to revert tags via time machine	2015-04-16 17:18:00 -04:00