diff options
| author | Emilio Jesus Gallego Arias | 2017-12-17 09:04:35 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-12-17 09:05:28 +0100 |
| commit | 60f2af7b2d3f130c02250807df33a07c2024d808 (patch) | |
| tree | e371414d18ef5479aa1c4b01e02ebcd811958b2f /Makefile.checker | |
| parent | 50bd89748af03bb28ad7024f2ceef500489a91b0 (diff) | |
[doc] Nit on the manual.
`ssrnat` is mentioned, but it is not distributed with Coq.
Diffstat (limited to 'Makefile.checker')
0 files changed, 0 insertions, 0 deletions