diff options
| author | Mateusz Burniak <mateusz@burniak.pl> | 2019-10-03 22:45:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 22:45:27 +0200 |
| commit | 2afee25faf822439b6c3aaa621cc8fde55925282 (patch) | |
| tree | 3ba470d33b5942cf071e9e9d405fd1a55c8c6bcb /coq.html.markdown | |
| parent | 790bedf4291c1dfee059270bc995878764754ab5 (diff) | |
[bf/pl-pl] Fix typo in url
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions