Skip to content

Commit 8c9cafe

Browse files
peterschrammelpeterschrammel
committed
Development version 1.1.0-SNAPSHOT
1 parent f2ed9bc commit 8c9cafe

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: ‎pom.xml

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
<groupId>org.cprover.util</groupId>
66
<artifactId>cprover-api</artifactId>
7-
<version>1.0.0</version>
7+
<version>1.1.0-SNAPSHOT</version>
88
<packaging>jar</packaging>
99
<name>CProver-API</name>
1010
<description>CProver Java API</description>

0 commit comments

Comments
 (0)