Merge pull request #138 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 08:46:14 +0000 (10:46 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 08:46:14 +0000 (10:46 +0200)
commit45dda84f087c85d4e9c847b108f393982038c7a1
tree697a8ea55ef6714aead69b3d47826e951a26e1b8
parent7d3b58ecf115dc6dc5932f5f4ac406ba05e739fd
parent53d3c141d3fcd2e56e1dbc1cffd862b4f32010ff
Merge pull request #138 from mpeuster/master

Cleanups, improvements to debug chaining problems