Rob Richards 902372067c user/settings: add repositories panel (#4312)
* Add Repositories panel to user settings
issue #4277

* modified personal repo settings format
2017-03-23 12:57:43 -04:00
..
2017-02-27 22:47:12 -05:00
2017-02-27 22:48:19 -05:00
2017-02-27 22:47:12 -05:00
2017-02-27 22:47:12 -05:00
2016-08-30 04:57:58 -07:00
2017-03-12 13:43:05 -04:00
2017-02-27 22:47:12 -05:00
2017-02-27 22:48:19 -05:00