diff Makefile.in @ 5590:1d9fabec8bec

Use new names rmail-default-file and rmail-default-rmail-file.
author Richard M. Stallman <rms@gnu.org>
date Sat, 15 Jan 1994 01:22:53 +0000
parents 8c0dd3e81e28
children 3b1a6c7f949e
line wrap: on
line diff