diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2020-01-28 19:02:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-28 19:02:50 +0100 |
| commit | 6688c270251adf3efa577e3276de563f3330b08f (patch) | |
| tree | d669585f799033baa68c0f843e9a0873bbfcd6d9 /coq.html.markdown | |
| parent | 5f8e47a46003e4b5bc689dce4d98fd250e843ba0 (diff) | |
| parent | 2432006a8d11a7e0bdcc976f1ec0bd6262a67245 (diff) | |
Merge pull request #3794 from AjitZero/patch-1
[c#/en] Updated grammar
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions