From 04e8a323da07c67031f4c0e23a020ba245938a0c Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 26 Jul 2016 00:05:52 +0200 Subject: Rename FAQ -> FAQ.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 1d0091ba..52fd5d43 100644 --- a/README.md +++ b/README.md @@ -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: -- cgit v1.2.3