diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:07 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:07 +0100 |
| commit | 5e440ccec06e740c0ee8dc8eb0e54a7284d5aef7 (patch) | |
| tree | bee2f1bc3830221dcf1dd46ac4fe4fd8d6a66ee2 /driver | |
| parent | 46d76082ae7039832f597f73720f701a866261a4 (diff) | |
| download | vericert-5e440ccec06e740c0ee8dc8eb0e54a7284d5aef7.tar.gz vericert-5e440ccec06e740c0ee8dc8eb0e54a7284d5aef7.zip | |
Use State in semantics instead of splitting it up
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions