chiark / gitweb /
fix ci
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jun 2018 17:10:41 +0000 (18:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jun 2018 17:10:41 +0000 (18:10 +0100)
commitb43624092b85a7c87e74193ec6f2423b3a421ab3
tree7fc68d92aef055c51bac0caa27053f09aaa82442
parentf62f240174dd69ca695b47c0b223f8c51c1615d6
fix ci
ci-exper.json