diff options
| author | Gaëtan Gilbert | 2019-02-07 12:15:21 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:49 +0100 |
| commit | 75269e1b3fb98c8095b7f50e8ade2af87eb4061f (patch) | |
| tree | 25cb5fc00a0110d1fe6066108fd7c267cba5caba /dev | |
| parent | e5fb9c5cbce5e7e7e8fcb3d82c45074f9c165158 (diff) | |
Fix failing coqtops in ring.rst
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions