Version increment to 0.10
commit953e022d58148a7f410991b3500083a2a9e0bc96
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 20 Jan 2016, 15:33 (11 years ago)
parent35958e3
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.20.2
2+Version: 0.10
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady