tree 3aa8dc66f451272c0e7195b5c6a1fea8ebf06f7e
parent 54289302bc821e69ff7b8079fb412dcd410d9b65
author Wenzel Jakob <wenzel@inf.ethz.ch> 1447367240 +0100
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1447367240 +0100

fix for std::shared_ptr proposed by Vayu (fixes #8)