diff make-dist @ 24220:33f8216be2f1

(rmail-insert-inbox-text): Handle POP mailboxes where the userid contains directory separators.
author Andrew Innes <andrewi@gnu.org>
date Fri, 29 Jan 1999 18:13:30 +0000
parents f14a9b714a8e
children 9c23e2b384a3
line wrap: on
line diff