From 86388f94cb3bcdd74122ebaccbaf669bd5037778 Mon Sep 17 00:00:00 2001 From: "kairo@kairo.at" Date: Sat, 23 Jun 2007 07:47:16 -0700 Subject: [PATCH] bug 385461 - Small improvements to CRL manager window, r=kengert --- .../manager/locales/en-US/chrome/pippki/pref-validation.dtd | 1 + security/manager/pki/resources/content/crlManager.xul | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/security/manager/locales/en-US/chrome/pippki/pref-validation.dtd b/security/manager/locales/en-US/chrome/pippki/pref-validation.dtd index f7122b56623..8f179c9d5ca 100644 --- a/security/manager/locales/en-US/chrome/pippki/pref-validation.dtd +++ b/security/manager/locales/en-US/chrome/pippki/pref-validation.dtd @@ -42,6 +42,7 @@ + diff --git a/security/manager/pki/resources/content/crlManager.xul b/security/manager/pki/resources/content/crlManager.xul index d2502b80046..512f9cf7ee0 100644 --- a/security/manager/pki/resources/content/crlManager.xul +++ b/security/manager/pki/resources/content/crlManager.xul @@ -51,7 +51,7 @@