Author: jblum
Date: 2007-12-26 20:30:16 -0700 (Wed, 26 Dec 2007)
New Revision: 7278
Modified:
grc/trunk/data/preferences.grc.dtd
Log:
dtd fix
Modified: grc/trunk/data/preferences.grc.dtd
===================================================================
--- grc/trunk/data/preferences.grc.dtd 2007-12-27 01:13:14 UTC (rev 7277)
+++ grc/trunk/data/preferences.grc.dtd 2007-12-27 03:30:16 UTC (rev 7278)
@@ -26,7 +26,7 @@
<!-- The preferences contains:
identifying information: time stamp, host name, version,
and a list of preferences, each with their key/value pair.
-->
- <!ELEMENT preferences (timestamp?, hostname?, version?, categories>
+ <!ELEMENT preferences (timestamp?, hostname?, version?, prefs)>
<!ELEMENT timestamp (#PCDATA)> <!-- The time stamp for the
modification date. (optional) -->
<!ELEMENT hostname (#PCDATA)> <!-- The hostname of the
computer. (optional) -->
<!ELEMENT version (#PCDATA)> <!-- The program and program
version. (optional) -->
_______________________________________________
Commit-gnuradio mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/commit-gnuradio
