Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove HTMLDocument.

Browse source
This commit is contained in:
Ms2ger 2014-02-22 14:11:31 +01:00
parent 7190feb5e3
commit e2617a6396
12 changed files with 10 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/components/script/dom/webidls/HTMLDocument.webidl
View file

@ -1,8 +0,0 @@
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* This Source Code Form is subject to the terms of the Mozilla Public
* 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/.
*/
/* http://www.whatwg.org/specs/web-apps/current-work/#the-document-object */
interface HTMLDocument : Document {};