mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
auto merge of #4717 : Ms2ger/servo/doc-proxy, r=saneyuki
This commit is contained in:
commit
1a2a08aa50
13 changed files with 23 additions and 32 deletions
|
@ -2,8 +2,6 @@
|
|||
* 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/. */
|
||||
|
||||
#![deny(missing_docs)]
|
||||
|
||||
//! Utilities for tracing JS-managed values.
|
||||
//!
|
||||
//! The lifetime of DOM objects is managed by the SpiderMonkey Garbage
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue