/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/services.dtd
Document Type Definition | 8 lines | 7 code | 1 blank | 0 comment | 0 complexity | f5ddd8d110699f18e62d6f9c42c577c5 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
1<!-- SERVICES element -->
2<!ELEMENT SERVICES ( SERVICE+ ) >
3
4<!-- SERVICE element -->
5<!ELEMENT SERVICE ( #PCDATA ) >
6<!ATTLIST SERVICE
7 NAME CDATA #REQUIRED
8 CLASS CDATA #REQUIRED >