[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] r7278 - grc/trunk/data
From: |
jblum |
Subject: |
[Commit-gnuradio] r7278 - grc/trunk/data |
Date: |
Wed, 26 Dec 2007 20:30:16 -0700 (MST) |
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) -->
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Commit-gnuradio] r7278 - grc/trunk/data,
jblum <=