git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2046 from jfdm/fix/userdocs

Fix for #2045 by fixing reST syntax error in license declaration.

commitc4f31c4a938a247df237a5ebd868c2fac557b949 authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com> dateSun 22 Mar 2015, 21:33 (12 years ago) parent9afcb728b70c6a
5 files changed+10−10
compare with master
unifiedsplit
docs/effects/index.rst+2−2 docs/guides/index.rst+2−2 docs/index.rst+2−2 docs/reference/index.rst+2−2 docs/tutorial/index.rst+2−2
docs/effects/index.rst+2−2
@@ -9,8 +9,8 @@ A tutorial on the `Effects` package in `Idris`.
99.. note::
1010
1111 The documentation for Idris has been published under the Creative
12− Commons CC0 License. As such to the extent possible under law, /The
13− Idris Community/ has waived all copyright and related or neighboring
12+ Commons CC0 License. As such to the extent possible under law, *The
13+ Idris Community* has waived all copyright and related or neighboring
1414 rights to Documentation for Idris.
1515
1616 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/guides/index.rst+2−2
@@ -8,8 +8,8 @@ Tutorials submitted by community members.
88
99.. note::
1010 The documentation for Idris has been published under the Creative
11− Commons CC0 License. As such to the extent possible under law, /The
12− Idris Community/ has waived all copyright and related or neighboring
11+ Commons CC0 License. As such to the extent possible under law, *The
12+ Idris Community* has waived all copyright and related or neighboring
1313 rights to Documentation for Idris.
1414
1515 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/index.rst+2−2
@@ -9,8 +9,8 @@ Documentation for the Idris Language
99.. note::
1010
1111 The documentation for Idris has been published under the Creative
12− Commons CC0 License. As such to the extent possible under law, /The
13− Idris Community/ has waived all copyright and related or neighboring
12+ Commons CC0 License. As such to the extent possible under law, *The
13+ Idris Community* has waived all copyright and related or neighboring
1414 rights to Documentation for Idris.
1515
1616 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/reference/index.rst+2−2
@@ -10,8 +10,8 @@ This will tell you how Idris works, for using it you should read the Idris Tutor
1010
1111.. note::
1212 The documentation for Idris has been published under the Creative
13− Commons CC0 License. As such to the extent possible under law, /The
14− Idris Community/ has waived all copyright and related or neighboring
13+ Commons CC0 License. As such to the extent possible under law, *The
14+ Idris Community* has waived all copyright and related or neighboring
1515 rights to Documentation for Idris.
1616
1717 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/tutorial/index.rst+2−2
@@ -8,8 +8,8 @@ The is the Idris Tutorial. It will teach you about programming in the Idris Lang
88
99.. note::
1010 The documentation for Idris has been published under the Creative
11− Commons CC0 License. As such to the extent possible under law, /The
12− Idris Community/ has waived all copyright and related or neighboring
11+ Commons CC0 License. As such to the extent possible under law, *The
12+ Idris Community* has waived all copyright and related or neighboring
1313 rights to Documentation for Idris.
1414
1515 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/