diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:08:58 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:08:58 +0000 |
| commit | cddbde16fa288781732853db226fc02434491aa5 (patch) | |
| tree | f9bd7387a919054f29a5d227f9fbe785fa694325 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | b979531c13cfb67ffe74e67b8dae782adc3925f5 (diff) | |
Rename substitute() to substituteType()
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
0 files changed, 0 insertions, 0 deletions