diff make-dist @ 26313:9275b6adbad2

Undo last change and define _GNU_SOURCE before config.h.
author Dave Love <fx@gnu.org>
date Tue, 02 Nov 1999 22:40:17 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff