Delete unnecessary code-workspace file

scala · Aug 28, 2023 · e53c7e6 · e53c7e6
1 parent ab8a613
commit e53c7e6
Showing 1 changed file with 0 additions and 15 deletions.
diff --git a/compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace b/compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace