diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:18:51 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:18:51 +0100 |
| commit | 6e7df5e2a5cf3edf4d027dc0deb6f62498794913 (patch) | |
| tree | 0b94afca4109fd93b56eff79f99e4c77562d33be /src/main/java/org/shedlang/compiler/SourceFiles.java | |
| parent | eccd9209f6a1a45560ec343fa953d53bdcbe183a (diff) | |
Add push-int instruction to Patio IR
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFiles.java')
0 files changed, 0 insertions, 0 deletions