This repository has been archived on 2020-03-24. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Joseph Schorr af468a8c6a - UI feedback fixes: text cutoffs, misformatting fixes, etc ... - Add hotkey support for searching and creating repositories - Make search animations significantly faster		2015-04-08 14:39:52 -04:00
..
repo-panel-builds.html	- UI feedback fixes: text cutoffs, misformatting fixes, etc	2015-04-08 14:39:52 -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	- UI feedback fixes: text cutoffs, misformatting fixes, etc	2015-04-08 14:39:52 -04:00