remove option
authorBrian Demsky <briandemsky@plrg-dock.ics.uci.edu>
Fri, 6 Dec 2019 22:33:40 +0000 (14:33 -0800)
committerBrian Demsky <briandemsky@plrg-dock.ics.uci.edu>
Fri, 6 Dec 2019 22:33:40 +0000 (14:33 -0800)
commitd47c480e46b9a7318dfaa50398a83db04171f83e
tree746e330dc3c55afb7b3c1a98a2c0eb2ce1985218
parent654801e1e81273424eaafce605bdeb882f3933d9
remove option
main.cc
params.h
threads.cc