diff --git a/mozilla/minimo/chrome/locale/en-US/preferences.dtd b/mozilla/minimo/chrome/locale/en-US/preferences.dtd new file mode 100644 index 00000000000..f6126fba688 --- /dev/null +++ b/mozilla/minimo/chrome/locale/en-US/preferences.dtd @@ -0,0 +1,4 @@ + + + +