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 c35eec0615 Add ability for triggers to be disabled ... Will be used in the followup commit to automatically disable broken triggers		2018-03-01 16:49:28 -05:00
..
repo-panel-builds.html	Add ability for triggers to be disabled	2018-03-01 16:49:28 -05:00
repo-panel-info.html	Hide build-related UI elements when builds are disabled	2018-01-31 18:09:38 -05:00
repo-panel-settings.html	Hide build-related UI elements when builds are disabled	2018-01-31 18:09:38 -05:00
repo-panel-tags.html	Have cor-checkable-menus reflect the filtered set of items	2018-02-21 16:38:21 -05:00