diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-26 00:05:52 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-26 00:05:52 +0200 |
| commit | 04e8a323da07c67031f4c0e23a020ba245938a0c (patch) | |
| tree | d8e3430c3a4c8270fb668b944e83a47b1b0985fc | |
| parent | 026a3a7f984259c65ffa707c6bb8196c311a2f4b (diff) | |
Rename FAQ -> FAQ.md
| -rw-r--r-- | FAQ.md (renamed from FAQ) | 0 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 1 insertions, 1 deletions
@@ -38,7 +38,7 @@ See: * [INSTALL](INSTALL) for installation details * [COPYING](COPYING) for license details * [COMPATIBILITY](COMPATIBILITY) for version compatibility information -* [FAQ](FAQ) for frequently asked questions +* [FAQ.md](FAQ.md) for frequently asked questions * [coq/README](coq/README) for additional notes specific to the Coq prover Links: |