Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit c495824

Browse files
committedMar 29, 2024
feat(Java): bump MPL
1 parent de7e0dd commit c495824

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎project.properties

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
projectJavaVersion=3.3.0
2-
mplDependencyJavaVersion=1.2.0
2+
mplDependencyJavaVersion=1.2.0-SNAPSHOT
33
dafnyRuntimeJavaVersion=4.2.0
44
smithyDafnyJavaConversionVersion=0.1

0 commit comments

Comments
 (0)
Please sign in to comment.