From af2cae58e8302d503e1813708f077b5cf2e3fbfd Mon Sep 17 00:00:00 2001 From: Scala Steward <43047562+scala-steward@users.noreply.github.com> Date: Mon, 30 Jan 2023 11:43:00 +0100 Subject: [PATCH] Update scala-library to 2.13.10 (#287) --- src/config.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/config.scala b/src/config.scala index 15d4e2a..b7ce68e 100644 --- a/src/config.scala +++ b/src/config.scala @@ -1,4 +1,4 @@ -//> using scala "2.13.10", "2.12.17" +//> using scala "2.13.10", "2.13.10" //> using platform "jvm", "scala-js", "native" //> using lib "org.scalacheck::scalacheck::1.17.0" //> using lib "com.chuusai::shapeless::2.3.10"