Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-18 11:55:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #15044 - servo:remove-num, r=jdm

Browse source 
Remove the dependency on the num crate.

<!-- 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/15044)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-01-16 14:51:33 -08:00 • committed by GitHub
commit 2fa4df8ae8
2 changed files with 5 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

1
servo-tidy.toml
View file

@ -27,6 +27,7 @@ rand = [
"websocket",
"ws",
]
num = []
[ignore]
# Ignored packages with duplicated versions