init: copied out of combined project

This commit is contained in:
efim
2023-07-23 08:08:58 +00:00
commit c143dc25a6
24 changed files with 1057 additions and 0 deletions

1
project/build.properties Normal file
View File

@@ -0,0 +1 @@
sbt.version=1.9.0

6
project/metals.sbt Normal file
View File

@@ -0,0 +1,6 @@
// DO NOT EDIT! This file is auto-generated.
// This file enables sbt-bloop to create bloop config files.
addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.6")

View File

@@ -0,0 +1,6 @@
// DO NOT EDIT! This file is auto-generated.
// This file enables sbt-bloop to create bloop config files.
addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.6")