5 commits

Author	SHA1	Message	Date
jfy133	e8b4675692	Cleanup and tweaking	2019-12-06 13:17:31 +01:00
James A. Fellows Yates	0033b74e4e	Update shh.config	2019-12-05 18:08:39 +01:00
James A. Fellows Yates	dc0f1dfb40	Update shh.config	2019-12-05 17:58:49 +01:00
James A. Fellows Yates	b1a8b45aa0	Maybe typo?	2019-12-05 17:52:53 +01:00
jfy133	731372dac2	Added SHH specific EAGER configuration	2019-12-05 17:01:10 +01:00