chiark / gitweb /
Merge pull request #161 from rsnel/master
authorFredrik Fornwall <fredrik@fornwall.net>
Thu, 10 Mar 2016 10:26:16 +0000 (11:26 +0100)
committerFredrik Fornwall <fredrik@fornwall.net>
Thu, 10 Mar 2016 10:26:16 +0000 (11:26 +0100)
commitec40c73f60f2a412cd60b96e075f7d57d006921e
treed011eb433083f553090fc0664411dbc3318c653f
parent38ffe16c2040b1d0fe0497faf1894708e93c0580
parent359f14c4dfa6d368ad203873a99937b7f42a4343
Merge pull request #161 from rsnel/master

*.py scripts are in scripts/, now Dockerfile knows that too