2 Commits

Author	SHA1	Message	Date
Dominic Kempf	a71f2f7bc1	Fix dune-common patch such that it works also on first run	2020-05-15 20:58:09 +02:00
Dominic Kempf	f42ced7562	Add a dune-testtools resource to the package	2020-05-15 15:12:12 +02:00