Permalink
Browse files

Bump version.

  • Loading branch information...
1 parent 6c4d13a commit 799395f5b4f0d30e52fa9dbe1fe8742d1f3e35fe @yav committed Dec 28, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 presburger.cabal
View
@@ -1,5 +1,5 @@
Name: presburger
-Version: 1.0
+Version: 1.1
License: BSD3
License-file: LICENSE
Author: Iavor S. Diatchki

0 comments on commit 799395f

Please sign in to comment.