diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2020-02-12 09:50:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-12 09:50:09 +0100 |
| commit | 76db052c9e3324295a94d67b26da50681307db0a (patch) | |
| tree | bcea6a61ef608c6b047327d8c59e07e5b4e9724b /coq.html.markdown | |
| parent | 5c1cc4c82309a64daacbd687dd4091998cb806cc (diff) | |
| parent | e60cd7ecddd5873dac7cd462ea05a2c4f97b09d6 (diff) | |
Merge pull request #3843 from nihilismus/clojure-es-es
[clojure/es] Update translation
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions