diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:30:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:30:03 +0100 |
commit | f06e5fc0ee651c3ffe357c3c3302ca1517381b4c (patch) | |
tree | 15821bec5295bc84b95bd44b00e0d192c58c36fe /docs | |
parent | ce3adde4b50ba04430a1cf0ffb0ea85168091746 (diff) | |
download | vericert-f06e5fc0ee651c3ffe357c3c3302ca1517381b4c.tar.gz vericert-f06e5fc0ee651c3ffe357c3c3302ca1517381b4c.zip |
Fix warnings for Coq 8.13.2
Diffstat (limited to 'docs')
m--------- | docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs b/docs -Subproject 42e19f2b20c907505a28486a8071147ed6c610f +Subproject f85238030a96a082f19446a7998da97123ce702 |