| commit | c7554e28ee526113281c3fd252c543d063194a60 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 26 11:32:03 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 26 11:32:03 2002 +0000 |
| tree | f9d969155ce5847f95c2295b9b850276fb05906c | |
| parent | b417936d4080004b6a7811fb411c6f77db4cc262 [diff] |
Added a __contains__ method.