Increment patch version number
commit9866d4888b7792f3a1e8f95fab0a3cc4b996270e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 23 Mar 2015, 19:51 (12 years ago)
parent2d503f1
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.17
2+Version: 0.9.17.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady