chiark / gitweb /
~ian / userv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51cb382) | patch
really detect WCOREDUMP properly debian_version_1_0_4
authorian <ian>
Fri, 7 Apr 2006 19:16:38 +0000 (19:16 +0000)
committerian <ian>
Fri, 7 Apr 2006 19:16:38 +0000 (19:16 +0000)
commit4923f5a1c9b32a801a66a4ac458b401207b7d7ac
tree603bb5b3f88dda2e30bfa2b5784569aad7bb82datree | snapshot
parent51cb3824983977c5b46e6ffca36b80c5c604b466commit | diff
really detect WCOREDUMP properly
acconfig.h diff | blob | history
config.h.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.