Re: [ublas] Documentation update: append_element

From: Michael Stevens (mail_at_[hidden])
Date: 2005-03-14 08:28:36

On Saturday 12 March 2005 10:04, Gunter Winkler wrote:
> Hallo,
>
> the attached patches add append_element to the documentation and rename
> insert/erase to insert_element and erase_element

Thanks Gunter. I have committed to CVS. I could not use the diff as sent to do 
an automatic patch. Can you create context diffs?

I did the change manually and made some additional changes to the text 
regarding duplicates.

Michael