diff src/config.in @ 7753:198dd616a588

(Info-directory-list): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 May 1994 11:47:07 +0000
parents 1b8c1fd547e5
children 6094b85c40d1
line wrap: on
line diff