Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-20 16:55:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

servo: Merge #4606 - Move the documentation comment for the devtools_traits crate to have it picked up (from Ms2ger:devtools-comment); r=larsbergstrom

Browse Source 
Source-Repo: https://github.com/servo/servo
Source-Revision: 1834359f1661fe504e5b8ff3ee2bc0cb8d744d21
This commit is contained in:
Ms2ger 2015-01-10 07:39:44 -07:00
parent fcf0f879df
commit 1339da34fb
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
servo/components/devtools_traits/lib.rs
View File

@ -2,6 +2,10 @@
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
//! This module contains shared types and messages for use by devtools/script.
//! The traits are here instead of in script so that the devtools crate can be
//! modified independently of the rest of Servo.
#![crate_name = "devtools_traits"]
#![crate_type = "rlib"]
@ -14,10 +18,6 @@ extern crate serialize;
extern crate url;
extern crate "util" as servo_util;
/// This module contains shared types and messages for use by devtools/script.
/// The traits are here instead of in script so that the devtools crate can be
/// modified independently of the rest of Servo.
pub use self::DevtoolsControlMsg::*;
pub use self::DevtoolScriptControlMsg::*;
pub use self::EvaluateJSReply::*;