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 /.github/pull_request_template.md | |
| parent | 26a35314966a28880888eefe62ef053f0b9f038f (diff) | |
test switching Coq deprecation mechanizm
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions