chiark / gitweb /
get headers for WCOREDUMP right
authorian <ian>
Fri, 7 Apr 2006 19:11:06 +0000 (19:11 +0000)
committerian <ian>
Fri, 7 Apr 2006 19:11:06 +0000 (19:11 +0000)
commit51cb3824983977c5b46e6ffca36b80c5c604b466
treec7c39e2dbaf53d9bfdfa107ee35330b21de4388a
parent831af03aa2b5b8452ebb74f95197d3b4f9871d4f
get headers for WCOREDUMP right
configure
configure.in