mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Move the documentation comment for the devtools_traits crate to have it picked up.
This commit is contained in:
parent
16c2025a4e
commit
1fb863ab3f
1 changed files with 4 additions and 4 deletions
|
@ -2,6 +2,10 @@
|
||||||
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
* 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/. */
|
* 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_name = "devtools_traits"]
|
||||||
#![crate_type = "rlib"]
|
#![crate_type = "rlib"]
|
||||||
|
|
||||||
|
@ -14,10 +18,6 @@ extern crate serialize;
|
||||||
extern crate url;
|
extern crate url;
|
||||||
extern crate "util" as servo_util;
|
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::DevtoolsControlMsg::*;
|
||||||
pub use self::DevtoolScriptControlMsg::*;
|
pub use self::DevtoolScriptControlMsg::*;
|
||||||
pub use self::EvaluateJSReply::*;
|
pub use self::EvaluateJSReply::*;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue