diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 14:51:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 14:51:11 +0000 |
commit | 6034a8b96babe2fb4a3a4ed3802326120ffb7ba0 (patch) | |
tree | 133967e4409311205dc100130716897c22634902 /CHANGELOG.org | |
parent | 16be235ca8d8dfbee26139d602487c03f16de417 (diff) | |
download | vericert-6034a8b96babe2fb4a3a4ed3802326120ffb7ba0.tar.gz vericert-6034a8b96babe2fb4a3a4ed3802326120ffb7ba0.zip |
Add top-level semantics definitions
Diffstat (limited to 'CHANGELOG.org')
0 files changed, 0 insertions, 0 deletions