str4d 97a9a6090a Use copy constructor instead of clone()

2013-11-27 01:55:29 +00:00

..

doc

drop obsolete docs

2011-02-27 16:24:11 +00:00

java

Use copy constructor instead of clone()

2013-11-27 01:55:29 +00:00