From: Gunter Winkler (guwi17_at_[hidden])
Date: 2005-03-12 04:04:32
Hallo,
the attached patches add append_element to the documentation and rename
insert/erase to insert_element and erase_element
Please commit them to the cvs.
mfg
Gunter