commit-gnuradio
[Top][All Lists]
Advanced

[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) -->





reply via email to

[Prev in Thread] Current Thread [Next in Thread]