From 7b01b8d0bfda068f1dc4ec2f49f885cb78b7515f Mon Sep 17 00:00:00 2001
From: adrdiez <446-adrdiez@users.noreply.gitlab.inf.uva.es>
Date: Fri, 13 Nov 2020 00:43:15 +0100
Subject: [PATCH] Update biblioteca.dtd

---
 biblioteca.dtd | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/biblioteca.dtd b/biblioteca.dtd
index 752c07c..89f6a16 100644
--- a/biblioteca.dtd
+++ b/biblioteca.dtd
@@ -19,8 +19,3 @@
 <!ATTLIST libro isbn ID #REQUIRED>
 <!ATTLIST coleccion nombre ID #REQUIRED>
 <!ATTLIST libro tipo (TapaDura|TapaBlanda|DeBolsillo) "TapaDura">
-
-
-<!ATTLIST libro isbn ID #REQUIRED>
-<!ATTLIST colección nombre ID #REQUIRED>
-<!ATTLIST libro tipo (TapaDura|TapaBlanda|DeBolsillo) "TapaDura">
-- 
GitLab