Incremented version for the next development cycle.

dafny-lang · Nov 11, 2020 · bf22e1d · bf22e1d
1 parent cbd33fd
commit bf22e1d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyLS/DafnyLS.csproj b/Source/DafnyLS/DafnyLS.csproj
@@ -5,7 +5,7 @@
  <TargetFramework>netcoreapp3.1</TargetFramework>
  <Nullable>enable</Nullable>
  <RootNamespace>Microsoft.Dafny.LanguageServer</RootNamespace>
- <Version>2.0.0</Version>
+ <Version>2.1.0</Version>
  </PropertyGroup>
 
  <ItemGroup>