diff options
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/xml/XMLDecl.java | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/sources/scala/xml/XMLDecl.java b/sources/scala/xml/XMLDecl.java deleted file mode 100644 index 169c826677..0000000000 --- a/sources/scala/xml/XMLDecl.java +++ /dev/null @@ -1,14 +0,0 @@ -package scala.xml ; - -import java.util.Map ; - -public class XMLDecl { - - case ElemDecl( String name, - String contentModel, - Map attribs); /*AttrDecl[]*/ - - case AttrDecl( String name, - String type ); // ignore default values - -} |