4 Commits

Author	SHA1	Message	Date
Holger Rapp	0f42294846	Adds a CONTRIBUTING.md file.	2018-04-05 22:07:31 +02:00
Holger Rapp	da6efc3e7d	Rename scripts -> docker. Make repro more useful.	2018-04-05 21:52:33 +02:00
Holger Rapp	42956dd140	Fix pwd call.	2018-04-05 20:33:42 +02:00
Holger Rapp	1546022088	Make makefile a bit more powerful.	2018-04-03 21:53:28 +02:00