Update version number to 0.9.13
commit4d215c14b01c5e39fd4aa9453b591fee8e16ae77
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 3 Jun 2014, 16:31 (12 years ago)
parent6e715db
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.12
2+Version: 0.9.13
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady