HIPS/Spearmint — pull request #5 by kyunghyuncho (2014-08-31 03:56:08+00:00)
Title: Configurable num_spray and spray_std

This makes num_spray and spray_std in the choosers (default_ and simple_) to be configurable via .json config file.