tree 991f0f29295d5318cfbf4a72eec005e07117f8a4
parent 1dc940d4b7696b1339f1ec4367d3bd31b879b12a
author Wenzel Jakob <wenzel.jakob@epfl.ch> 1460969532 +0200
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1460969532 +0200

convenience overload for make_iterator()