today++

dafny-lang · Mar 3, 2023 · 5c2b6e6 · 5c2b6e6
1 parent dea0133
commit 5c2b6e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -1,7 +1,7 @@
 <Project>
 
  <PropertyGroup>
- <VersionPrefix>4.0.0.50302<!--Version 4.0.0, year 2018+5, month 3, day 2.--></VersionPrefix>
+ <VersionPrefix>4.0.0.50303<!--Version 4.0.0, year 2018+5, month 3, day 3.--></VersionPrefix>
  <NoWarn>1701;1702;VSTHRD200</NoWarn>
  </PropertyGroup>