diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-19 22:38:07 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-19 22:38:07 +0100 |
| commit | 0ab1c830e324d4656944f86453c4a12591a07562 (patch) | |
| tree | 7f09dc774bd79a7d7c5cccd4723fe376370cb0c3 /src/main/java/org/shedlang/compiler/SourceFiles.java | |
| parent | d0a9c780ea36a0ff0b70529c1c6ab86c61a5eb0f (diff) | |
Rename generateName to allocateName
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFiles.java')
0 files changed, 0 insertions, 0 deletions