From ffce1c4783a1b870b99c8c81f45c4f45d77f44d9 Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Tue, 28 Apr 2015 20:23:51 +0200 Subject: [PATCH] FAQ should go to the end --- doc/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/index.rst b/doc/index.rst index a8186b909..461568935 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -15,7 +15,6 @@ Contents: gettingstarted installation tutorial - faq purescala library xlang @@ -24,6 +23,7 @@ Contents: synthesis repair options + faq references -- GitLab