Merge pull request #308 from C-Elegans/opt_compare_fix_pr
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 09:04:48 +0000 (10:04 +0100)
committerGitHub <noreply@github.com>
Sat, 11 Feb 2017 09:04:48 +0000 (10:04 +0100)
commit9c1a7be636b9e0eca2a62173b8ed069d2db8535c
treeaf0a42da3c37ffcc5692bd3f10ac89bcde6ddecb
parente6cc67b46f637e5fc971c79e8f115c225b807120
parent94b272077d33b3da3df32bf680f69e1af8130cef
Merge pull request #308 from C-Elegans/opt_compare_fix_pr

Fix issue #306, "Bug in opt -full"