From 58b89939c2a08068866001fed52b8c405a48d758 Mon Sep 17 00:00:00 2001 From: Ms2ger Date: Sun, 11 Jan 2015 11:27:46 +0100 Subject: [PATCH] Fix the documentation comment for the devtools library. Also removed a duplicated feature gate. --- components/devtools/lib.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs index cda1af61949..7e09a53c65e 100644 --- a/components/devtools/lib.rs +++ b/components/devtools/lib.rs @@ -2,6 +2,11 @@ * 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/. */ +//! An actor-based remote devtools server implementation. Only tested with +//! nightly Firefox versions at time of writing. Largely based on +//! reverse-engineering of Firefox chrome devtool logs and reading of +//! [code](http://mxr.mozilla.org/mozilla-central/source/toolkit/devtools/server/). + #![crate_name = "devtools"] #![crate_type = "rlib"] @@ -10,14 +15,9 @@ #![feature(phase)] -#![feature(phase)] #[phase(plugin, link)] extern crate log; -/// An actor-based remote devtools server implementation. Only tested with nightly Firefox -/// versions at time of writing. Largely based on reverse-engineering of Firefox chrome -/// devtool logs and reading of [code](http://mxr.mozilla.org/mozilla-central/source/toolkit/devtools/server/). - extern crate collections; extern crate core; extern crate devtools_traits;