fix proof_datamerger (see 216#c56)
authorTobias Platen <tplaten@posteo.de>
Fri, 5 Jun 2020 19:18:46 +0000 (21:18 +0200)
committerTobias Platen <tplaten@posteo.de>
Fri, 5 Jun 2020 19:18:46 +0000 (21:18 +0200)
commit200d948e72981aeb3263a78ed0fc7ca1b4209e60
tree8f859bc1b3c2dd4017502c2c5e08838e3a59ad08
parent1d89663d2703045b4de7b733690951c040dc985d
fix proof_datamerger (see 216#c56)
src/soc/experiment/proof_datamerger.py