diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2020-01-24 20:30:13 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-24 20:30:13 +0530 |
| commit | ce95d2763ed7a5804eb454a1e018baa16e443ef7 (patch) | |
| tree | c55d17bb5321c3b784ee13a7e00ca16ab1cef62c /coq.html.markdown | |
| parent | 9a3a25db67cfea592d3636c5aea2f31a78e6df68 (diff) | |
| parent | 9e8184f455af5dcbbc1966cb50cbd0a007a85d2e (diff) | |
Merge pull request #3781 from Benur21/patch-1
Explaining better and improving consistence
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions