removed unused index.
commitb610a766be9c8cf1f96d03a137386421e8af87aa
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateThu 9 Nov 2017, 13:02 (9 years ago)
parent5e7d01c
docs/faq/index.rstdeleted−19
@@ -1,19 +0,0 @@
1−.. _faq-index:
2−
3−##########################
4−Frequently Asked Questions
5−##########################
6−
7−.. note::
8− The documentation for Idris has been published under the Creative
9− Commons CC0 License. As such to the extent possible under law, *The
10− Idris Community* has waived all copyright and related or neighboring
11− rights to Documentation for Idris.
12−
13− More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
14−
15−
16−.. toctree::
17− :maxdepth: 1
18−
19− faq