Merge pull request #3003 from jfdm/bump-doc-version
Bumped doc version into alignment with src.
commit88d8075660d9620d1127ad7e8c20f9dd4e90471f
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateTue 1 Mar 2016, 12:15 (11 years ago)
parent5d50beac1ee3fd
docs/conf.py+2−2
@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '0.10.1'
62+version = '0.10.2'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.10.1'
64+release = '0.10.2'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.