4 Commits (0b16aa6fe4996b34f617361f87c257cbf510ff45)

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