tree 2a9afdf8eaaa7418d46ec5f4eebcd766052f9347
parent d361a57863fa46d49e39d63789382dd63414e3f3
author Wenzel Jakob <wenzel.jakob@epfl.ch> 1461705559 +0200
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1461707335 +0200

documentation improvements