diff options
| author | ivan <ivan> | 2002-04-17 11:43:37 +0000 |
|---|---|---|
| committer | ivan <ivan> | 2002-04-17 11:43:37 +0000 |
| commit | df8ea3edfbcb3b286e6dca5a98d697fe091be526 (patch) | |
| tree | c33f848c70064b849986f8fb3abe1465169135e7 /htetc | |
| parent | 62afa0957fd72ec52e9a8defbdbcc796bd04fb82 (diff) | |
allow for the no-pop case
Diffstat (limited to 'htetc')
0 files changed, 0 insertions, 0 deletions