diff options
| author | Joris Vink <joris@cvs.openbsd.org> | 2006-05-27 16:18:24 +0000 |
|---|---|---|
| committer | Joris Vink <joris@cvs.openbsd.org> | 2006-05-27 16:18:24 +0000 |
| commit | 428bc93fb43adee2baabd2da716c098dd71fde39 (patch) | |
| tree | b4f8326bab6009cd02d8f98325ee0647ad9e8304 /distrib/sets/lists | |
| parent | 0e9ff30b95a582f731f197d0f64b7fd50ef05613 (diff) | |
boogie cvs_yesno() down the removal hatch, it is not used.
Diffstat (limited to 'distrib/sets/lists')
0 files changed, 0 insertions, 0 deletions