diff Makefile.in @ 13909:287e0b91a675

(abbrev-file-name): Use convert-standard-filename.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jan 1996 23:43:19 +0000
parents c9243845a191
children bcc924fdb1f8
line wrap: on
line diff