58 commits

Author	SHA1	Message	Date
James A. Fellows Yates	f59443daf0	Update shh.config	2019-12-06 19:09:20 +01:00
James A. Fellows Yates	1ab1370872	Try to make resources satisfiable	2019-12-06 19:06:05 +01:00
James A. Fellows Yates	6e596d1730	Fix stupid wrong bracket typo -.-	2019-12-06 18:37:39 +01:00
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