git.iko.soy/Idris-dev
on master help sign in
Bumped doc version number
af98ee2Jan de Muijnck-Hughes
docs/conf.py+2−2
compare with master
unifiedsplit
@@ -59,9 +59,9 @@ author = u'The Idris Community'
59# built documents.
59# built documents.
60#
60#
61# The short X.Y version.
61# The short X.Y version.
62−version = '0.9.17'
62+version = '0.9.18'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '0.9.17'
64+release = '0.9.18'
65
65
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.