diff options
| author | Cyril Cohen | 2020-06-08 12:32:53 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-08 12:32:53 +0200 |
| commit | c07a2c8a189e2870129f6d0831310849a89fbbee (patch) | |
| tree | e069192f3be8ad0c770a84a8c88ba51f46628ef0 /.github/pull_request_template.md | |
| parent | 9e73d5dffc48db33323a9bafb6cd9f497ed71414 (diff) | |
Documenting addition policy to coq.
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions