* several bugfixes
authorkramm <kramm>
Thu, 29 Nov 2001 18:32:44 +0000 (18:32 +0000)
committerkramm <kramm>
Thu, 29 Nov 2001 18:32:44 +0000 (18:32 +0000)
* map_ids_mem is now more generic and can be used for enumerating ids used
by a tag.


No differences found