* removed contains function in taglist
authorkramm <kramm>
Thu, 18 Sep 2003 17:25:16 +0000 (17:25 +0000)
committerkramm <kramm>
Thu, 18 Sep 2003 17:25:16 +0000 (17:25 +0000)
* taglist now has id->char, char->id mappings
* taglist can now be concatenated with a normal list


No differences found