From 0fb7cf2fcd7040516ccbabedb720d7125f198afb Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Thu, 22 Mar 2007 12:31:06 +0000 Subject: [PATCH] Whitespace --- docbook/relaxng/docbook/src/pool.rnc | 3 --- 1 file changed, 3 deletions(-) diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc index fdd2cae82..3314bf1ec 100644 --- a/docbook/relaxng/docbook/src/pool.rnc +++ b/docbook/relaxng/docbook/src/pool.rnc @@ -2172,11 +2172,8 @@ div { div { db.example.role.attribute = attribute role { text } - db.example.label.attribute = db.label.attribute - db.example.width.attribute = db.width.characters.attribute - db.example.floatstyle.attribute = db.floatstyle.attribute db.example.attlist = -- 2.40.0