diff options
author | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-01-17 10:18:00 +0000 |
---|---|---|
committer | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-01-17 10:18:00 +0000 |
commit | bdaa8844be64818cab4bd8e77e91bb7af0bfcf98 (patch) | |
tree | 2e233bc1feae42f4a9c3137916f14cd480a096a6 /coq-style-guide | |
parent | fb83fe2f8f9263d8d6cf3bf6054c9c041efb0c5c (diff) | |
download | vericert-docs-bdaa8844be64818cab4bd8e77e91bb7af0bfcf98.tar.gz vericert-docs-bdaa8844be64818cab4bd8e77e91bb7af0bfcf98.zip |
deploy: 91ef287ac751a674fab3ecf089101fa2b6062a97
Diffstat (limited to 'coq-style-guide')
0 files changed, 0 insertions, 0 deletions