diff options
| author | Gaëtan Gilbert | 2019-02-07 11:51:08 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:49 +0100 |
| commit | d32a0db7b4d0775820b306badfe8072bd74cf62d (patch) | |
| tree | 522bd93cbb2b9ccd7d1ce3e2e424dafcfe8dd3e0 /dev | |
| parent | f78d36363698f653ff8ff16389c58633579493eb (diff) | |
Fix failing coqtops in generalized-rewriting.rst
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions