This repository has been archived by the owner on Oct 13, 2018. It is now read-only.

Files

.ci

Jakob Odersky

Jun 7, 2018

a19f147 · Jun 7, 2018

Name	Name	Last commit message	Last commit date
parent directory ..
build	build	Migrate from sbt-pgp to sbt-gpg	Jun 7, 2018
sec.gpg.enc	sec.gpg.enc	Set up CI	Oct 5, 2017