Merge pull request #216 from stevenvanrossem/master
authorstevenvanrossem <steven.vanrossem@intec.ugent.be>
Fri, 5 May 2017 09:08:43 +0000 (11:08 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 5 May 2017 09:08:43 +0000 (11:08 +0200)
commit807be58fa7a13781cdd895a9ab4694c426c00395
tree19f663efd0e9fc3a71729d353e2f0d0f886fce8a
parent093334b25972312bc4ae55a80f71d512ca862545
parent2aa774b6f6801c7022b92890c457187dd3ea5ea1
Merge pull request #216 from stevenvanrossem/master

several bug fixes and updates