diff make-dist @ 14838:81cc01a0f082

(HAVE_LINUX_VERSION_H): Renamed from HAVE_VERSION_H.
author Richard M. Stallman <rms@gnu.org>
date Tue, 19 Mar 1996 08:06:10 +0000
parents f41775f4f5c6
children da70e30f73b9
line wrap: on
line diff