Update version number

LeifW · Aug 31, 2015 · 8472399 · 8472399
1 parent 141f5f1
commit 8472399
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -1,5 +1,5 @@
 Name: idris
-Version: 0.9.18.1
+Version: 0.9.19
 License: BSD3
 License-file: LICENSE
 Author: Edwin Brady