Merge pull request #622 from xuwei-k/patch-3

eed3si9n · Oct 5, 2023 · ace058f · ace058f
2 parents 0eda50e + a1d9a77
commit ace058f
Showing 1 changed file with 0 additions and 48 deletions.
diff --git a/cli/offline.sbt.txt b/cli/offline.sbt.txt