Skip to content

updated sbt and dotty version#1

Open
cessationoftime wants to merge 1 commit intonicolasstucki:masterfrom
cessationoftime:master
Open

updated sbt and dotty version#1
cessationoftime wants to merge 1 commit intonicolasstucki:masterfrom
cessationoftime:master

Commits

Commits on Jul 7, 2020