chiark / gitweb /
Remove coredump check
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 14:11:35 +0000 (16:11 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 14:11:35 +0000 (16:11 +0200)
commitaa42cc458b2716fc78aa067cd901a1e049c35cd2
tree350a6a199f587cb4560a6e4de3a33905de42ec6d
parent14ee3940c898144b1a9914570639f42c218bcc9c
Remove coredump check
configure.ac