diff man/misc.texi @ 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 df10644e22b5
children ac3a8cb1ce25
line wrap: on
line diff