diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1999-06-25 02:07:29 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1999-06-25 02:07:29 +0000 |
| commit | 7f1d21d66fcbb59699bdb92c3b355ec5d467e768 (patch) | |
| tree | 530f4a226a9bf8e761724d43149febc76438b41d /devel/splint | |
| parent | f07de8de4fa58818a76ccf8a60e7b086a738b4a1 (diff) | |
Print out date and time the port is killed due to timeout.
Diffstat (limited to 'devel/splint')
0 files changed, 0 insertions, 0 deletions