4 Commits (adcb823d3fefc3db40de3f0eb0d54331bf7e5ba8)

Author	SHA1	Message	Date
junos	9e87b1f176	Add an option to print figures and set font sizes.	2021-08-04 17:41:09 +02:00
junos	92a5787d62	Only convert some answers to numeric.	2021-07-04 14:34:13 +02:00
junos	b8301ca458	Small corrections.	2021-07-03 18:45:46 +02:00
junos	c29c7b19f2	Rename ESM exploration.	2021-07-02 16:05:36 +02:00