diff options
| author | Pavel Roskin <proski@gnu.org> | 2000-09-15 00:46:51 +0000 |
|---|---|---|
| committer | Pavel Roskin <proski@gnu.org> | 2000-09-15 00:46:51 +0000 |
| commit | 5f84fd70662db883c1697038fa4c1a4bc8676862 (patch) | |
| tree | 87ab9fc2d82f58f7d77a332849c00389e364b59d /.indent.pro | |
| parent | cbe05e45db168fabf807c3cf943a00ff81ec8279 (diff) | |
"exit NUMBER" should exit, not return
Diffstat (limited to '.indent.pro')
0 files changed, 0 insertions, 0 deletions