perry a631cc1d3a CI: make sure ident is set before push		2016-05-09 11:36:38 -05:00
..
docs	CI: make sure ident is set before push	2016-05-09 11:36:38 -05:00
git	trying new CI approach	2016-05-04 17:03:53 -05:00
config.json	update dgnei paths	2016-02-05 17:05:01 -05:00
utils.inc.sh	trying to cache Circle CI's checkout of ionic-site	2016-03-15 17:36:59 -05:00