diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2021-03-21 15:23:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-21 15:23:05 +0100 |
| commit | 1c5fecd845b48d595913d80dc0b29671e508e23b (patch) | |
| tree | d5aa59599fb3f621fc919dcb03b59fe3789a3a7e /standard-ml.html.markdown | |
| parent | 44526992794e25f7945126d5be3737a3be517b2a (diff) | |
| parent | c5d94d3493c411ce6843a0f6c80b72ca16e3801e (diff) | |
Merge pull request #4140 from dbenn/patch-1
[coq/en] Update coq.html.markdown
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions