Skip to content

Commit 7bcdf26

Browse files
robin-awsrobin-aws
committed
Missing properties property
1 parent d17d8ff commit 7bcdf26

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎project.properties

+1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
projectJavaVersion=3.4.0-SNAPSHOT
22
mplDependencyJavaVersion=1.3.0-SNAPSHOT
3+
dafnyRuntime=4.2.0
34
dafnyRuntimeJavaVersion=4.2.0
45
smithyDafnyJavaConversionVersion=0.1

0 commit comments

Comments
 (0)