diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-04 12:08:04 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-04 12:08:04 +0100 |
| commit | c106b109fa0d469568c4841f07f7243a4f7813a4 (patch) | |
| tree | e09d1b3da22f4f1de4cc31b91f05fef7d37d647b /example | |
| parent | 0b118f8dca9068e0075e72f4d0c24cf707df44c7 (diff) | |
| download | vericert-c106b109fa0d469568c4841f07f7243a4f7813a4.tar.gz vericert-c106b109fa0d469568c4841f07f7243a4f7813a4.zip | |
Refine the semantics
Diffstat (limited to 'example')
0 files changed, 0 insertions, 0 deletions