diff options
| author | rpj <rpj> | 1998-07-24 13:28:10 +0000 |
|---|---|---|
| committer | rpj <rpj> | 1998-07-24 13:28:10 +0000 |
| commit | e80271449742bf9c3f1e54312fbc5af6f413ff35 (patch) | |
| tree | 05859dd810d7263606da158a4d6d868ec7004523 /exit.c | |
| parent | c913bfb2e2ef13f3ef7bdf08421d88a62ac489a3 (diff) | |
Fix a minor problem with the last commit.
Diffstat (limited to 'exit.c')
0 files changed, 0 insertions, 0 deletions