diff man/mule.texi @ 38713:0e498f6c5404

(executable-set-magic): If executable-find returns a quoted file name, unquote it before inserting it.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 07 Aug 2001 09:46:41 +0000
parents 3d0bec9036ac
children 4d3fd773cd30
line wrap: on
line diff