diff options
Diffstat (limited to 'mail/pygmy/files/patch-ae')
-rw-r--r-- | mail/pygmy/files/patch-ae | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/mail/pygmy/files/patch-ae b/mail/pygmy/files/patch-ae deleted file mode 100644 index 9eaede479ce8..000000000000 --- a/mail/pygmy/files/patch-ae +++ /dev/null @@ -1,17 +0,0 @@ ---- pygmy 2000/10/02 06:42:12 1.1 -+++ pygmy 2000/10/02 06:42:43 -@@ -43,10 +43,10 @@ - # Upgrade existing configuration with new params - p.version = v - p.replyto = None -- p.fld_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1' -- p.sub_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1' -- p.msg_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1' -- p.compose_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1' -+ p.fld_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1' -+ p.sub_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1' -+ p.msg_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1' -+ p.compose_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1' - p.auto = 0 - p.flistfile = os.path.join(homedir, ".pygmy-filterlist") - p.external_cmd = "" |