update its all text

[x_full.git] / .mozilla / firefox / default / extensions / itsalltext@docwhat.gerf.org / chrome / locale / en-US / preferences.dtd

diff --git a/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/locale/en-US/preferences.dtd b/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/locale/en-US/preferences.dtd
deleted file mode 100644 (file)
index af26ad9..0000000
--- a/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/locale/en-US/preferences.dtd
+++ /dev/null
@@ -1,10 +0,0 @@
-<!ENTITY title                       "It's All Text! Preferences">
-<!ENTITY editor.label                "Editor:">
-<!ENTITY picker.label                "Browse">
-<!ENTITY seconds.label               "Seconds between refreshing:">
-<!ENTITY charset.label               "Character Set (default: UTF-8):">
-<!ENTITY extensions.label            "File Extensions:">
-<!ENTITY debug.label                 "Debugging:">
-<!ENTITY debug.humor                 "Remove all bugs">
-<!ENTITY disable_gumdrops.label      "In-Page Edit Buttons:">
-<!ENTITY disable_gumdrops.checkbox   "Disable">