diff options
| author | Al <80943867+al-ias@users.noreply.github.com> | 2022-07-24 12:28:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-24 12:28:23 +0200 |
| commit | 1bd3310bf28a967e3a62248a5f2a7d5ff4515675 (patch) | |
| tree | ac5fe8498c215f8c2a28e9ae5278cb1769fd7e9a /coq.html.markdown | |
| parent | 39e0b12b1545b06c7359b544790e423550b5cf13 (diff) | |
| parent | 6be91ac96b852859e124c5b3b830348fd44d4b11 (diff) | |
Merge pull request #3 from al-ias/master
Merge master
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions