Commit Graph

3 Commits

Author SHA1 Message Date
Holger Rapp
da6efc3e7d Rename scripts -> docker. Make repro more useful. 2018-04-05 21:52:33 +02:00
Holger Rapp
1546022088 Make makefile a bit more powerful. 2018-04-03 21:53:28 +02:00
Holger Rapp
c7a9d21d6f Add a dockerfile for quick, manual testing. 2018-04-03 21:53:28 +02:00