diff options
author | Matt Kraai <kraai@debian.org> | 2001-05-17 04:03:22 +0000 |
---|---|---|
committer | Matt Kraai <kraai@debian.org> | 2001-05-17 04:03:22 +0000 |
commit | 7cedac567c6ad1367ea3b2f247cec72a09a6ddc6 (patch) | |
tree | 1ea083372c7b7ec8faba17e2cf57a6d86e9ae4f2 /ping.c | |
parent | bc0f783a5f907eb99f32ef3f577fbd2c7ba15ba4 (diff) |
Remove unused function. If necessary, we can use remove_file instead.
Diffstat (limited to 'ping.c')
0 files changed, 0 insertions, 0 deletions