Adding preferences.dtd

2005-09-07 21:19:12 +00:00 · 2005-09-07 21:19:12 +00:00 · afd6ebbc2e
--- a/minimo/chrome/jar.mn
+++ b/minimo/chrome/jar.mn
@ -9,6 +9,7 @@ minimo.jar:
 	content/minimo/preferences.xul   (content/preferences.xul)
 	locale/en-US/minimo/minimo.dtd	 (locale/en-US/minimo.dtd)
    locale/en-US/minimo/minimo.properties (locale/en-US/minimo.properties)
+    locale/en-US/minimo/preferences.dtd (locale/en-US/preferences.dtd)
 	skin/classic/minimo/minimo.css   (skin/minimo.css)
 	skin/classic/minimo/m.jpg        (skin/m.jpg)
 	skin/classic/minimo/back.gif     (skin/back.gif)