1 files changed, 0 insertions, 31 deletions
diff --git a/libjava/external/w3c_dom/org/w3c/dom/html2/HTMLPreElement.java b/libjava/external/w3c_dom/org/w3c/dom/html2/HTMLPreElement.java
deleted file mode 100644
index bab7358a730..00000000000
--- a/libjava/external/w3c_dom/org/w3c/dom/html2/HTMLPreElement.java
+++ /dev/null
@@ -1,31 +0,0 @@
-/*
- * Copyright (c) 2003 World Wide Web Consortium,
- * (Massachusetts Institute of Technology, Institut National de
- * Recherche en Informatique et en Automatique, Keio University). All
- * Rights Reserved. This program is distributed under the W3C's Software
- * Intellectual Property License. This program is distributed in the
- * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
- * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
- * PURPOSE.
- * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
- */
-
-package org.w3c.dom.html2;
-
-/**
- * Preformatted text. See the PRE element definition in HTML 4.01.
- * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
- */
-public interface HTMLPreElement extends HTMLElement {
-    /**
-     * Fixed width for content. See the width attribute definition in HTML 
-     * 4.01. This attribute is deprecated in HTML 4.01.
-     */
-    public int getWidth();
-    /**
-     * Fixed width for content. See the width attribute definition in HTML 
-     * 4.01. This attribute is deprecated in HTML 4.01.
-     */
-    public void setWidth(int width);
-
-}