diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-01-12 21:02:50 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-01-12 21:03:50 +0000 |
| commit | eef0470389d88de6169a6962f14a9d422175e4c2 (patch) | |
| tree | 3497e6327d9cfb817afaec3bc3ccdadaa4ff653c /src/main/java/org/shedlang/compiler/SourceFile.java | |
| parent | e8bdea44688c37cc1ef983714514b933e66ab944 (diff) | |
Create separate sourcefiles package
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFile.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/SourceFile.java | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/main/java/org/shedlang/compiler/SourceFile.java b/src/main/java/org/shedlang/compiler/SourceFile.java deleted file mode 100644 index b3ca3578..00000000 --- a/src/main/java/org/shedlang/compiler/SourceFile.java +++ /dev/null @@ -1,8 +0,0 @@ -package org.shedlang.compiler; - -import org.shedlang.compiler.types.NamespaceName; - -import java.nio.file.Path; - -public record SourceFile(Path path, NamespaceName namespaceName) { -} |