security/manager/locales/en-US/chrome/pippki/newserver.dtd
deleted100644 → 0
+0
−47
security/manager/locales/en-US/chrome/pippki/newserver.properties
deleted100644 → 0
+0
−43
security/manager/pki/resources/content/newserver.js
deleted100644 → 0
+0
−0
Empty file deleted.
security/manager/pki/resources/content/newserver.xul
deleted100644 → 0
+0
−0
Empty file deleted.
Loading