add a button for querying DDPO

[icedeb.git] / chrome / locale / en-US / icedeb.dtd

diff --git a/chrome/locale/en-US/icedeb.dtd b/chrome/locale/en-US/icedeb.dtd
index a32d56e7adf74953c1ed2691d1ab8c45a71d682e..d45e5b775981ecc51a7f90f67431978a6df6e1fd 100644 (file)
--- a/chrome/locale/en-US/icedeb.dtd
+++ b/chrome/locale/en-US/icedeb.dtd
@@ -4,3 +4,7 @@
 <!ENTITY pts.tooltiptext "Query Debian Package tracking system using the text in the clipboard">
 <!ENTITY deb.label ".deb info">
 <!ENTITY deb.tooltiptext "Show information about binary deb package">
+<!ENTITY ml.label "Debian ML">
+<!ENTITY ml.tooltiptext "Search Debian mailing list by message ID">
+<!ENTITY ddpo.label "DDPO">
+<!ENTITY ddpo.tooltiptext "Show an overview of Debian developer contributions">