diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:52 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:52 +0100 |
| commit | 2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773 (patch) | |
| tree | 913bde0d9390832b1cc61f49bbdf0f0ce740c623 /.gitignore | |
| parent | aaaf75ca0ac353f5c662f775b3f3104cc4944d87 (diff) | |
| download | vericert-2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773.tar.gz vericert-2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773.zip | |
Update the Gible semantics with correct termination
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions