Merge pull request #6316 from wenottingham/NOT_OPTIONAL

Browse Source

Drop optional repos from the repolist, as we do not currently require them

...

This commit is contained in:

Bill Nottingham

2017-06-15 13:46:24 -04:00

committed by GitHub

parent 04ca05ac43 1b2ac592a8

commit ed6db3043d

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available