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.