comparison build-ins.in @ 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 ce011f7cd03f
children b0eeade85c1f
comparison
equal deleted inserted replaced
3211:4a1a003ded62 3212:cd8f8468a190