1
1
mirror of https://gitlab.gnome.org/GNOME/gimp.git synced 2025-10-06 01:12:40 +02:00

data: Adapt tips.dtd for gettext changes

This commit is contained in:
Niels De Graef
2022-06-26 10:54:41 +02:00
parent c9819ea4c7
commit a3c5072a1c

View File

@@ -9,8 +9,11 @@
<!ENTITY % markup "(#PCDATA|b|big|tt)*">
<!ELEMENT b %markup;>
<!ATTLIST b xml:lang CDATA #IMPLIED>
<!ELEMENT big %markup;>
<!ATTLIST big xml:lang CDATA #IMPLIED>
<!ELEMENT tt %markup;>
<!ATTLIST tt xml:lang CDATA #IMPLIED>
<!ELEMENT thetip %markup;>
<!ATTLIST thetip xml:lang CDATA #IMPLIED>