Update version number to 0.9.9.3
commit3544af3835df3c9bc7221da6a231cce42dff6563
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 15 Oct 2013, 22:43 (13 years ago)
parent221e1a7
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.9.2
2+Version: 0.9.9.3
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady