make check fixed - now warnings deprecated std::auto_ptr → to be fixed later; refs #14
parent
72169a5779
commit
01117196eb
2 changed files with 11 additions and 2 deletions
Loading…
Reference in new issue