Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-24 17:14:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #17302 - servo:jdm-patch-6, r=SimonSapin

Browse source 
Remove default cargo config.

This was a temporary change to work around a cert revocation that broke our CI. It is no longer necessary.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/17302)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-06-13 18:25:45 -07:00 • committed by GitHub
commit fbbabed075
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.cargo/config
View file

@ -1 +0,0 @@
check-revoke = false