diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2020-01-24 20:30:55 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-24 20:30:55 +0530 |
| commit | 471b05c51d2c783ab8d369b6ca8d305accbebd3e (patch) | |
| tree | 5670f5e162fafcacf8f29b4227ccea2fbe221daa /ja-jp | |
| parent | ce95d2763ed7a5804eb454a1e018baa16e443ef7 (diff) | |
| parent | 672b3804f933a40df15db2e29d9a06030928194b (diff) | |
Merge pull request #3784 from sshine/coq-fix-code-width
[coq/en] Fix code width
Diffstat (limited to 'ja-jp')
0 files changed, 0 insertions, 0 deletions