diff options
| author | Cyril Cohen | 2020-11-05 13:26:07 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-05 13:52:20 +0100 |
| commit | a14d422bcc1a44a860dd207b10d239c064d22548 (patch) | |
| tree | cb2ba985c74b5204cd5c63bf533aceebec08d31d /docs | |
| parent | 26a35314966a28880888eefe62ef053f0b9f038f (diff) | |
test switching Coq deprecation mechanizm
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions