diff options
| author | Théo Zimmermann | 2018-03-06 14:00:50 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-03-06 14:00:50 +0100 |
| commit | d095b1f2c39a9a3c0b009675573ea34034ffe52c (patch) | |
| tree | 19b49f17d23b419e0579c3aa369b43ef6da2b7ac /Makefile.dev | |
| parent | 67a28c487fc64e2c0f8271b77d0c9db0cd82fa92 (diff) | |
Remove outdated information regarding the FAQ.
The FAQ is not part of the Coq sources anymore.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions