Skip to content

Commit

Permalink
Snap?
Browse files Browse the repository at this point in the history
  • Loading branch information
@Baltoli
Baltoli committed Mar 5, 2024
1 parent 45d0e0a commit 81716d2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
<groupId>com.runtimeverification.k</groupId>
<artifactId>scala-kore</artifactId>
<packaging>jar</packaging>
<version>0.0.1</version>
<version>0.0.1-SNAPSHOT</version>

<name>Scala support for KORE</name>

Expand Down

0 comments on commit 81716d2

Please sign in to comment.