diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:32:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:37:31 +0100 |
| commit | 94d481c940fb36da896e2e80a62f39d849477f53 (patch) | |
| tree | 1df183249ec0cffe9c02f6a145dbb11bfef05a91 /examples/03-enum/output/java/.gitignore | |
| parent | 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b (diff) | |
Add inductive data types example
Diffstat (limited to 'examples/03-enum/output/java/.gitignore')
| -rw-r--r-- | examples/03-enum/output/java/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/03-enum/output/java/.gitignore b/examples/03-enum/output/java/.gitignore deleted file mode 100644 index ff511d4..0000000 --- a/examples/03-enum/output/java/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/src/gen/ -/target/ |