Increment patch version number
commit1cc3acd2c55db91130dc1385d0aae1d51d31404b
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 14 Nov 2015, 17:49 (11 years ago)
parent6011227
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.20
2+Version: 0.9.20.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady