Rename soundness+wisteria.scala

propensive · Aug 23, 2024 · dca5cdb · dca5cdb
1 parent dd5827f
commit dca5cdb
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/core/soundness+wisteria.scala → src/core/soundness+wisteria-core.scala b/src/core/soundness+wisteria.scala → src/core/soundness+wisteria-core.scala