mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
Remove int/uint from devtools/devtools_traits.
This commit is contained in:
parent
a277036dd9
commit
6328946434
7 changed files with 28 additions and 29 deletions
|
@ -10,7 +10,7 @@
|
|||
#![crate_name = "devtools"]
|
||||
#![crate_type = "rlib"]
|
||||
|
||||
#![feature(int_uint, box_syntax, core, rustc_private)]
|
||||
#![feature(box_syntax, core, rustc_private)]
|
||||
#![feature(collections, std_misc)]
|
||||
#![feature(io)]
|
||||
#![feature(net)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue