config: Fix --prog-interval command line option
authorAli Saidi <saidi@eecs.umich.edu>
Wed, 20 Feb 2013 13:18:22 +0000 (08:18 -0500)
committerAli Saidi <saidi@eecs.umich.edu>
Wed, 20 Feb 2013 13:18:22 +0000 (08:18 -0500)
commit82cf1565d02608111459379634c6daa31d4a6895
tree78751ec80de7d51fe20cb84d6ee97204c8669d70
parentfea27bc49b685472c3ccd8a657924015141d052e
config: Fix --prog-interval command line option
configs/common/Options.py