diff etc/ps-prin2.ps @ 33850:4cc1de4931b9

(command-line): Fix computation of the source file for user-init-file when user-init-file is a compiled file.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 24 Nov 2000 12:27:11 +0000
parents cdd489417ae4
children b5a4db21c424
line wrap: on
line diff