Update version number to 0.9.9.2
commitbef8dce2d7d21538dd8448cab53d4097ffdbd39b
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 23 Sep 2013, 13:30 (13 years ago)
parent677799c
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.9.1
2+Version: 0.9.9.2
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady