diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-23 09:37:02 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-23 09:37:02 +0100 |
| commit | 6f9d16bb67f32463d98771f3f155297c4ea4b3b7 (patch) | |
| tree | 1d04c6794b53981a340af2d3b72971d8c9a02d8e /.gitignore | |
| parent | 1dce00e3afe9398a84239cc5f5d44c68b0b5c474 (diff) | |
| download | vericert-6f9d16bb67f32463d98771f3f155297c4ea4b3b7.tar.gz vericert-6f9d16bb67f32463d98771f3f155297c4ea4b3b7.zip | |
Fix translation passes with new semantics
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions