diff man/killing.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 ac7e9e5e2ccb
children 986871288b53
line wrap: on
line diff