diff src/gnu.h @ 3212:cd8f8468a190

(Info-insert-dir): Ignore duplicate directories.
author Richard M. Stallman <rms@gnu.org>
date Fri, 28 May 1993 18:35:23 +0000
parents 0ffcf74fb8ad
children 6ad8db6dc039
line wrap: on
line diff