4 Commits (164d12ed2f1d9f964bbaff95e2501d7ed6e62f31)

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