Fixed version number in conf to be 0.9.17
commitf572cd047b92082b7542f9a691bdfc258760621d
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateWed 18 Mar 2015, 07:38 (12 years ago)
parentaf72159
docs/conf.py+2−2
@@ -56,9 +56,9 @@ author = u'The Idris Community'
5656# built documents.
5757#
5858# The short X.Y version.
59−version = '0.9.16'
59+version = '0.9.17'
6060# The full version, including alpha/beta/rc tags.
61−release = '0.9.16'
61+release = '0.9.17'
6262
6363# The language for content autogenerated by Sphinx. Refer to documentation
6464# for a list of supported languages.