5 Commits

Author	SHA1	Message	Date
adrienmalin	b7650efdf6	tweaks	2019-01-24 20:37:42 +01:00
adrienmalin	2417bd5b56	test t-spin only on lock	2019-01-16 18:15:56 +01:00
adrienmalin	5419864859	Hint text	2019-01-16 15:35:46 +01:00
adrienmalin	0194bbdc0d	tweaks	2019-01-08 11:33:30 +01:00
adrienmalin	f1683613f6	reorganization	2019-01-06 15:48:00 +01:00