comparison make-dist @ 7825:06c366308319

(Info-default-directory-list): Setting this no longer needed.
author Richard M. Stallman <rms@gnu.org>
date Tue, 07 Jun 1994 15:32:29 +0000
parents 6191acd134b6
children cba3121c44b7
comparison
equal deleted inserted replaced
7824:de1dfb8aea82 7825:06c366308319