diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 11:07:28 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 11:07:28 +0100 |
| commit | 09dd58c172d70411e880450c8961a28dd127f76f (patch) | |
| tree | c8fbfcf6c78a25205c04ff4ea33e1f9d83de842e /examples/08-enum | |
| parent | fe0b53ce5b3577284f9020832c0f4bd3c0c2f58d (diff) | |
Add generation header to generated Rust files
Diffstat (limited to 'examples/08-enum')
| -rw-r--r-- | examples/08-enum/output/rust/src/numbers.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/08-enum/output/rust/src/numbers.rs b/examples/08-enum/output/rust/src/numbers.rs index b71f573..e86b453 100644 --- a/examples/08-enum/output/rust/src/numbers.rs +++ b/examples/08-enum/output/rust/src/numbers.rs @@ -1,3 +1,5 @@ +// Generated by hobgoblin. + /// A small number. pub enum SmallNumber { Zero, |