2 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	6010a9361b	add INI configuration file ... This adds a new configuration file based on the INI format. The new format will allow adding GRAY parameters without breaking compatibility with existing configurations, unlike as of the old gray_params.data.	2022-05-22 01:02:19 +02:00
Michele Guerini Rocco	e81308d048	add option to set parameters from the command-line	2022-05-11 01:15:07 +02:00