diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-09-30 17:28:56 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-09-30 17:28:56 +0100 |
| commit | bc735ece60ac6cc3b0624d01408e2c95cc575533 (patch) | |
| tree | 6d75b80fdf3664ddd60fa2ba76932013eb388a01 /src/main/java/org/shedlang/compiler/SourceFiles.java | |
| parent | 84b617ab54023c4a9a67687ead488976a4fb8056 (diff) | |
Extract and test isSubType()
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFiles.java')
0 files changed, 0 insertions, 0 deletions