Merge pull request #15 from MartinHaimberger/WLOGIMPROVEMENT
authorMarc-André Moreau <marcandre.moreau@gmail.com>
Wed, 6 Nov 2013 18:56:30 +0000 (10:56 -0800)
committerMarc-André Moreau <marcandre.moreau@gmail.com>
Wed, 6 Nov 2013 18:56:30 +0000 (10:56 -0800)
commit33a9694b45930f804559d2856d93d3d1018c2e78
tree986a46db53b05b409220835edd9a7cea7a9e45ee
parentb174dd9199cbe0f28b1cd2c7b9c1f8fc8b2466e7
parentad7be5a4ee1ede7c7e9634e19b994732c72a847a
Merge pull request #15 from MartinHaimberger/WLOGIMPROVEMENT

improved wlog